Skip to content

v0.1.22

Pre-release
Pre-release
Compare
Choose a tag to compare
@danieldietsch danieldietsch released this 07 Oct 06:25
· 13415 commits to dev since this release
v0.1.22
6309e4c

Bugfixes

  • various bugfixes and improvements to VpDomain (see #239)
  • various bugfixes and improvements to TreeAutomizer
  • fixed a bug in non-relational domains concerning COMPNEQ by rewriting expressions. When in an expression expr = expr1 != expr2 the COMPNEQ operator is encountered, the expression is rewritten to expr = expr1 == !expr2 in all abstract domains (if dealing with boolean results).
  • re-fixed another bug in non-relational domains evaluators.

Plumbing

  • improved performance of Hopcroft tree minimization by working only on partitions instead of also holding a relation
  • updated SMTInterpol to 2.1-404-g5f835ca

Known Issues

  • README and Website usage instructions outdated (see #135)
  • Startup with generated binary ./Ultimate stalls if no X display is available
Assets 5
Loading