v0.4.3

blishko released this 24 Jul 15:44

· 237 commits to master since this release

Changes in the current release

Fix bug in backtranslating proofs in one of the preprocessing passes
Add new default preprocessing pass
Implement transformation of linear CHC systems into transition systems (enabled in BMC and IMC)
Better invariant detection in TPA
Performance improvements in Spacer

Assets 4