Permalink
Browse files

mark up new version (2.2)

  • Loading branch information...
1 parent 6c0c751 commit f0355632bc9b8ba051347ba53e3b3de5425274a8 @LeventErkok committed May 30, 2012
Showing with 7 additions and 2 deletions.
  1. +5 −0 RELEASENOTES
  2. +1 −1 SBVUnitTest/SBVUnitTestBuildTime.hs
  3. +1 −1 sbv.cabal
View
5 RELEASENOTES
@@ -4,6 +4,11 @@ GitHub: <http://github.com/LeventErkok/sbv>
Latest Hackage released version: 2.1
======================================================================
+Version 2.2, Not yet released
+
+ - Current working version
+
+======================================================================
Version 2.1, 2012-05-24
Library:
View
2 SBVUnitTest/SBVUnitTestBuildTime.hs
@@ -2,4 +2,4 @@
module SBVUnitTestBuildTime (buildTime) where
buildTime :: String
-buildTime = "Wed May 23 20:53:39 PDT 2012"
+buildTime = "Tue May 29 20:50:30 PDT 2012"
View
2 sbv.cabal
@@ -1,5 +1,5 @@
Name: sbv
-Version: 2.1
+Version: 2.2
Category: Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT
Synopsis: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
Description: Express properties about Haskell programs and automatically prove them using SMT

0 comments on commit f035563

Please sign in to comment.