hasmtlib 1.1.0 → 1.1.1

raw patch · 2 files changed

+3/−3 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• README.md +2/−2
• hasmtlib.cabal +1/−1

@@ -60,12 +60,12 @@ ### Supported - [x] SMTLib2-Sorts in the Haskell-Type   ```haskell-    data SMTSort = IntSort | RealSort | BoolSort | BvSort Nat+    data SMTSort = BoolSort | IntSort | RealSort | BvSort Nat | ArraySort SMTSort SMTSort     data Expr (t :: SMTSort) where ...        ite :: Expr BoolSort -> Expr t -> Expr t -> Expr t   ```-- [x] Full SMTLib 2.6 standard support for Sorts Int, Real, Bool and unsigned BitVec+- [x] Full SMTLib 2.6 standard support for Sorts Int, Real, Bool, unsigned BitVec & Array - [x] Type-level length-indexed Bitvectors for BitVec   ```haskell     bvConcat :: (KnownNat n, KnownNat m) => Expr (BvSort n) -> Expr (BvSort m) -> Expr (BvSort (n + m))

@@ -1,7 +1,7 @@ cabal-version:         3.0  name:                  hasmtlib-version:               1.1.0+version:               1.1.1 synopsis:              A monad for interfacing with external SMT solvers description:           Hasmtlib is a library for generating SMTLib2-problems using a monad.   It takes care of encoding your problem, marshaling the data to an external solver and parsing and interpreting the result into Haskell types.