All Versions
15
Latest Version
Avg Release Cycle
135 days
Latest Release
-
Changelog History
Page 2
Changelog History
Page 2
-
v0.2.3.1
March 10, 2015 -
v0.2.3.0
March 05, 2015 -
v0.2.2.0 Changes
Added support for theory of Arrays
Map_t
,Map_select
,Map_store
โ Added support for theory of Bitvectors -- see
Language.Fixpoint.Smt.Bitvector
โ Added support for string literals
-
v0.2.1.0 Changes
- Pre-compiled binaries of the underlying ocaml solver are now provided for Linux, Mac OSX, and Windows.
No more need to install Ocaml!
-
v0.2.0.0 Changes
Parsing has been improved to require much fewer parentheses.
๐ Experimental support for Z3's theory of real numbers with the
--real
flag.