All Versions
Latest Version
Avg Release Cycle
135 days
Latest Release

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.