Skip to content

v2.2.2
Compare
Choose a tag to compare
@acfoltzer acfoltzer released this 10 Apr 20:17
v2.2.2
6ecd07d

Cryptol 2.2.2

This is a minor release:

  • Added an upper bound on sbv to avoid breakage with the new version 4.3 (we're using 4.3 in the development version as of 711ba43)
  • Remove vestigial references to the defunct configure script and require Cabal 1.20 (#197)
  • Tweak README.md to clarify CVC4 installation requirements

Note that in addition to the binaries posted here, Mac users can now use Homebrew to install both the latest stable release and the latest development version of Cryptol.

Assets 12
Loading