From 65bd7e7744657d2536b08aef3dd090c7678020bb Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 24 Feb 2020 17:38:56 -0600 Subject: [PATCH] prepare for 0.8.2 --- CHANGELOG.md | 5 +++++ msat-bin.opam | 2 +- msat.opam | 4 ++-- 3 files changed, 8 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 49a40c29..c8ed0200 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,10 @@ # CHANGES +## 0.8.2 + +- fix opam file +- fix: allow conflicts below decision level in `Make_cdcl_t` + ## 0.8.1 - fixes in `Heap` diff --git a/msat-bin.opam b/msat-bin.opam index cdb349a3..063eac4e 100644 --- a/msat-bin.opam +++ b/msat-bin.opam @@ -2,7 +2,7 @@ opam-version: "2.0" name: "msat-bin" synopsis: "SAT solver binary based on the msat library" license: "Apache" -version: "0.8.1" +version: "0.8.2" author: ["Simon Cruanes" "Guillaume Bury"] maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"] build: [ diff --git a/msat.opam b/msat.opam index 5c1118b8..8f66242a 100644 --- a/msat.opam +++ b/msat.opam @@ -2,7 +2,7 @@ opam-version: "2.0" name: "msat" synopsis: "Library containing a SAT solver that can be parametrized by a theory" license: "Apache" -version: "0.8.1" +version: "0.8.2" author: ["Simon Cruanes" "Guillaume Bury"] maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"] build: [ @@ -17,7 +17,7 @@ depends: [ "containers" {with-test} "mdx" {with-test} ] -tags: [ "sat" "smt" ] +tags: [ "sat" "smt" "cdcl" "functor" ] homepage: "https://github.com/Gbury/mSAT" dev-repo: "git+https://github.com/Gbury/mSAT.git" bug-reports: "https://github.com/Gbury/mSAT/issues/"