sbv 0.9 → 0.9.1

raw patch · 6 files changed

+8/−7 lines, 6 filesdep +deepseqdep −parallel

Dependencies added: deepseq

Dependencies removed: parallel

Files

• Data/SBV/BitVectors/Bit.hs +1/−1
• Data/SBV/BitVectors/Data.hs +1/−1
• Data/SBV/SMT/SMT.hs +1/−1
• Data/SBV/SMT/SMTLib.hs +1/−1
• Data/SBV/Utils/TDiff.hs +1/−1
• sbv.cabal +3/−2

@@ -13,7 +13,7 @@ module Data.SBV.BitVectors.Bit where  import Data.Bits-import Control.Parallel.Strategies(NFData(..))+import Control.DeepSeq(NFData(..))  data Bit = Zero | One          deriving (Eq, Ord)

@@ -34,7 +34,7 @@  ) where  import Control.Monad.Reader-import Control.Parallel.Strategies(NFData(..))+import Control.DeepSeq(NFData(..)) import Data.Bits import Data.Int import Data.Word

@@ -15,7 +15,7 @@ module Data.SBV.SMT.SMT where  import Control.Monad(when, zipWithM)-import Control.Parallel.Strategies(NFData(..))+import Control.DeepSeq(NFData(..)) import Data.Char(isSpace) import Data.List(intercalate) import Data.Word

@@ -13,7 +13,7 @@  module Data.SBV.SMT.SMTLib(SMTLibPgm, toSMTLib, addNonEqConstraints) where -import Control.Parallel.Strategies(NFData(..))+import Control.DeepSeq(NFData(..)) import qualified Data.Foldable    as F import Data.List (intercalate) 

@@ -12,7 +12,7 @@  module Data.SBV.Utils.TDiff(timeIf) where -import Control.Parallel.Strategies+import Control.DeepSeq import System.Time import Numeric 

@@ -1,11 +1,12 @@ Name:          sbv-Version:       0.9+Version:       0.9.1 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                programs to be created. Supports symbolic arrays and polynomials over GF(2^n).                Aims to provide seamless integration with SMT solvers to produce formal                property proofs of theoremhood and satisfiability, with counter-examples.+Copyright:     Levent Erkok, 2011 License:       BSD3 License-file:  LICENSE Stability:     Experimental@@ -25,13 +26,13 @@   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-                  , parallel >= 2.2.0.1                   , mtl >= 1.1.0.2                   , array >= 0.2.0.0                   , HUnit >= 1.2.2.3