Skip to content

v0.7.4

Choose a tag to compare

View all tags
@ederc ederc released this 28 Feb 09:25
· 374 commits to master since this release
v0.7.4
e0c2a31
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Several smaller bugfixes, esp. a segfault when running with info level 0 and using elimination orderings.

Assets 2
Loading