Skip to content

v2.2.3
Compare
Choose a tag to compare
@acfoltzer acfoltzer released this 30 Apr 22:24
· 3930 commits to master since this release
v2.2.3
b35dbbd

Cryptol 2.2.3

This is a minor release:

  • Changed to using SBV 4.3+
  • Fixed warnings when building with GHC 7.10.1
Assets 12
Loading