« Changelog History


cryptol v2.2.5 Release Notes

Release Date: 2015-10-01 // over 8 years ago

  • 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)