Skip to content

v2.2.5
Compare
Choose a tag to compare
@acfoltzer acfoltzer released this 01 Oct 20:18
· 3918 commits to master since this release
v2.2.5
02a7afb

Cryptol 2.2.5

This is a minor release:

  • Changed to exclude SBV version 5.0, but work with both older and upcoming releases
  • Removed the iteSolver option which has soundness issues in older versions of SBV (see LeventErkok/sbv#180)
Assets 12
Loading