Skip to content

Eldarica 2.0.4
Compare
Choose a tag to compare
@pruemmer pruemmer released this 14 Jul 09:02
· 245 commits to master since this release
v2.0.4
88b7b68

Various bugfixes. In addition, some new options to control CEGAR and predicate abstraction were added: -pPredicates: outputs all predicates computed by CEGAR, and -postHints: can read back those predicates (or other interpolation hints) in a later run. -noIntervals switches off the interval abstract domain, and interval constraint propagation.

Assets 3
Loading