prepare for 2.2

abentkamp · Mar 5, 2023 · 08591f2 · 08591f2
1 parent 71798cc
commit 08591f2
Show file tree

Hide file tree

Showing 5 changed files with 18 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,19 @@
 # Changelog
 
+## 2.2
+
+- add `--mode best`
+- portfolio
+- many improvements to BCE (blocked clause elimination)
+- implement lambdaKBO
+
+- small improvements: do not use `Pervasives` anymore,
+  use menhir 2.0, zarith >= 1.4
+- depend on mtime < 2.0
+- use ocaml matching for escaping of identifiers in TPTP output (#93)
+- adapt TIP parser to new spec
+
+
 ## 2.1
 
 - add `logtk.arith` sub-library, using either zarith or num

diff --git a/libzipperposition.opam b/libzipperposition.opam
@@ -3,7 +3,7 @@ maintainer: "simon.cruanes.2.17@m4x.org"
 authors: ["Simon Cruanes" "Petar Vukmirovic" "Alexander Bentkamp" "Sophie Tourret" "Visa Nummelin"]
 homepage: "https://github.com/sneeuwballen/zipperposition"
 license: "BSD-2-Clause"
-version: "2.1"
+version: "2.2"
 synopsis: "Library for Zipperposition"
 build: [
   ["dune" "build" "-p" name "-j" jobs]

diff --git a/logtk.opam b/logtk.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 maintainer: "simon.cruanes.2.17@m4x.org"
 authors: ["Simon Cruanes" "Petar Vukmirovic" "Alexander Bentkamp" "Sophie Tourret" "Visa Nummelin"]
 homepage: "https://github.com/sneeuwballen/zipperposition"
-version: "2.1"
+version: "2.2"
 license: "BSD-2-Clause"
 synopsis: "Core types and algorithms for logic"
 build: [

diff --git a/zipperposition-tools.opam b/zipperposition-tools.opam
@@ -3,7 +3,7 @@ maintainer: "simon.cruanes.2.17@m4x.org"
 authors: ["Simon Cruanes" "Petar Vukmirovic" "Alexander Bentkamp" "Sophie Tourret" "Visa Nummelin"]
 homepage: "https://github.com/sneeuwballen/zipperposition"
 license: "BSD-2-Clause"
-version: "2.1"
+version: "2.2"
 synopsis: "Support tools for Zipperposition"
 build: [
   ["dune" "build" "-p" name "-j" jobs]

diff --git a/zipperposition.opam b/zipperposition.opam
@@ -3,7 +3,7 @@ maintainer: "simon.cruanes.2.17@m4x.org"
 authors: ["Simon Cruanes" "Petar Vukmirovic" "Alexander Bentkamp" "Sophie Tourret" "Visa Nummelin"]
 homepage: "https://github.com/sneeuwballen/zipperposition"
 license: "BSD-2-Clause"
-version: "2.1"
+version: "2.2"
 synopsis: "A fully automatic theorem prover for typed higher-order and beyond"
 build: [
   ["dune" "build" "-p" name "-j" jobs]