updated

LeventErkok · Apr 20, 2012 · eaaf7a0 · eaaf7a0
1 parent ab17af6
commit eaaf7a0
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/RELEASENOTES b/RELEASENOTES
@@ -21,6 +21,8 @@ Version 1.4, Not yet released
   * Add class SNum, which simplifies writing polymorphic code over symbolic values
   * Increase haddock coverage metrics
   * Major code refactoring around symbolic kinds
+  * SMTLib2: Emit ":produce-models" call before setting the logic, as required
+    by the SMT-Lib2 standard. [Patch provided by arrowdodger on github, thanks!]
  Examples:
   * Change dog-cat-mouse example to use SInteger for the counts
   * Add merge-sort example: Data.SBV.Examples.BitPrecise.MergeSort

diff --git a/SBVUnitTest/SBVUnitTestBuildTime.hs b/SBVUnitTest/SBVUnitTestBuildTime.hs
@@ -2,4 +2,4 @@
 module SBVUnitTestBuildTime (buildTime) where
 
 buildTime :: String
-buildTime = "Wed Apr 18 22:41:15 PDT 2012"
+buildTime = "Thu Apr 19 20:17:04 PDT 2012"