boolector 0.0.0.6 → 0.0.0.7

raw patch · 2 files changed

+8/−1 lines, 2 filesPVP: minor bump suggested

API additions: PVP suggests at least a minor version bump

API changes (from Hackage documentation)

Files

• boolector.cabal +1/−1
• src/Boolector.hs +7/−0

@@ -1,5 +1,5 @@ name:                boolector-version:             0.0.0.6+version:             0.0.0.7 synopsis:            Haskell bindings for the Boolector SMT solver description: 

@@ -219,6 +219,7 @@                  -- *** Accessors                  , isEqualSort                  , isArraySort+                 , isBoolSort                  , isBitvecSort                  , isFunSort                  , funSortCheck@@ -1058,6 +1059,12 @@ isArraySort :: Sort -> Bool isArraySort srt = case sortTy srt of                     ArraySort _ _ -> True+                    _ -> False++-- | Determine if @sort@ is a bool sort.+isBoolSort :: Sort -> Bool+isBoolSort srt = case sortTy srt of+                    BoolSort -> True                     _ -> False  -- | Determine if @sort@ is a bit-vector sort.