From b084da6d4814c03fe898711b9950e7e1e2c5ee1e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= Date: Mon, 29 Jan 2024 08:51:42 -0300 Subject: [PATCH] Bump version of smtlib-backends-z3 to 0.3.1 and update changelog --- smtlib-backends-z3/CHANGELOG.md | 4 ++++ smtlib-backends-z3/smtlib-backends-z3.cabal | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/smtlib-backends-z3/CHANGELOG.md b/smtlib-backends-z3/CHANGELOG.md index 5651e4f..4c7a1d3 100644 --- a/smtlib-backends-z3/CHANGELOG.md +++ b/smtlib-backends-z3/CHANGELOG.md @@ -5,6 +5,10 @@ file. ## next +### Added + +## v0.3.1 _(2024-01-29)_ + ### Added - note about `Z3.Config` limitations diff --git a/smtlib-backends-z3/smtlib-backends-z3.cabal b/smtlib-backends-z3/smtlib-backends-z3.cabal index 8b6c978..08e44c9 100644 --- a/smtlib-backends-z3/smtlib-backends-z3.cabal +++ b/smtlib-backends-z3/smtlib-backends-z3.cabal @@ -1,5 +1,5 @@ name: smtlib-backends-z3 -version: 0.3 +version: 0.3.1 synopsis: An SMT-LIB backend implemented using Z3's C API. description: This library implements an SMT-LIB backend (in the sense of the smtlib-backends