Skip to content

Eldarica 2.0.9
Compare
Choose a tag to compare
@pruemmer pruemmer released this 17 Apr 08:41
· 96 commits to master since this release
v2.0.9
1df8a8d
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.

There are various internal changes and bugfixes, in particular in the solvers for different theories. It is now possible to solve clauses with rational arithmetic constraints, although our SMT-LIB parser is not yet connected to this. An option -cloneArrays was added that makes Eldarica use a separate array theory instance for independent array arguments; this should be more efficient than the standard behavior when using arrays to model uninterpreted functions.

Assets 3
Loading