sbv 0.9.1 → 0.9.2

raw patch · 2 files changed

+14/−15 lines, 2 filesdep −haskell98dep ~QuickCheckdep ~arraydep ~containers

Dependencies removed: haskell98

Dependency ranges changed: QuickCheck, array, containers, mtl, old-time, process, strict-concurrency

Files

• Data/SBV/BitVectors/Data.hs +1/−1
• sbv.cabal +13/−14

@@ -47,7 +47,7 @@ import qualified Data.Map    as Map import qualified Data.IntMap as IMap -import Test.QuickCheck hiding(Result)+import Test.QuickCheck hiding(Result, output)  import System.IO.Unsafe -- see the note at the bottom of the file 

@@ -1,5 +1,5 @@ Name:          sbv-Version:       0.9.1+Version:       0.9.2 Category:      Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math Synopsis:      Symbolic Bit Vectors: Prove bit-precise program properties using SMT solvers. Description:   Adds support for symbolic bit vectors, allowing formal models of bit-precise@@ -25,19 +25,18 @@ Library   ghc-options     : -Wall   ghc-prof-options: -auto-all -caf-all-  Build-Depends   : base >= 3 && < 5-                  , deepseq >= 1.1.0.2-                  , process >= 1.0.1-                  , containers >= 0.2.0-                  , QuickCheck >= 2.1.0.3-                  , strict-concurrency >= 0.2.3-                  , haskell98-                  , old-time >= 1.0.0.2-                  , mtl >= 1.1.0.2-                  , array >= 0.2.0.0-                  , HUnit >= 1.2.2.3-                  , directory >= 1.0.1.1-                  , filepath >= 1.1.0.4+  Build-Depends   : base                >= 3 && < 5+                  , deepseq             >= 1.1.0.2+                  , process             >= 1.0.1.3+                  , containers          >= 0.3.0.0+                  , QuickCheck          >= 2.4.0.1+                  , strict-concurrency  >= 0.2.4.1+                  , old-time            >= 1.0.0.5+                  , mtl                 >= 2.0.1.0+                  , array               >= 0.3.0.1+                  , HUnit               >= 1.2.2.3+                  , directory           >= 1.0.1.1+                  , filepath            >= 1.1.0.4   Exposed-modules : Data.SBV                   , Data.SBV.Internals                   , Data.SBV.Examples.BitPrecise.BitTricks