Skip to content

Herbie 1.2
Compare
Choose a tag to compare
@pavpanchekha pavpanchekha released this 15 Jun 18:45
v1.2
9e467af
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Herbie's third release significantly improves Herbie's creativity and accuracy, with a better system for inferring branches, a new binary search technique to make those branches more accurate, and bigger defaults for various search parameters to ensure Herbie always delivers the most accurate results.

Assets 2
Loading