Skip to content

v0.1.16

Pre-release
Pre-release
Compare
Choose a tag to compare
@danieldietsch danieldietsch released this 30 May 16:03
· 15640 commits to dev since this release
v0.1.16
11b9581

Bugfixes

  • fix exception if branch encoders have unexpected length
  • fix an error in loop acceleration woelfing were orphaned returns would be added after acceleration
  • fix: take into account that succInternal() succCall() succReturn() may return null

Plumbing

  • updated Z3 and MathSAT to their current version (see README for the actual versions) (closes #180)

Known Issues

README and Website usage instructions still outdated (see #135)

Assets 5
Loading