sbv 1.2 → 1.3

raw patch · 3 files changed

+8/−3 lines, 3 files

Files

• RELEASENOTES +6/−1
• SBVUnitTest/SBVUnitTestBuildTime.hs +1/−1
• sbv.cabal +1/−1

@@ -1,7 +1,12 @@ Hackage: <http://hackage.haskell.org/package/sbv> GitHub:  <http://github.com/LeventErkok/sbv> -Latest Hackage released version: 1.2+Latest Hackage released version: 1.3++Version 1.3, 2012-02-25+======================================================================+  * Workaround cabal/hackage issue, functionally the same as release+    1.2 below  ====================================================================== Version 1.2, 2012-02-25

@@ -2,4 +2,4 @@ module SBVUnitTestBuildTime (buildTime) where  buildTime :: String-buildTime = "Sat Feb 25 12:23:39 PST 2012"+buildTime = "Sat Feb 25 12:36:27 PST 2012"

@@ -1,5 +1,5 @@ Name:          sbv-Version:       1.2+Version:       1.3 Category:      Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT Synopsis:      Symbolic bit vectors: Bit-precise verification and automatic C-code generation. Description:   Express properties about bit-precise Haskell programs and automatically prove