New engine
Golem now has a new engine based on Dual approximated reachability, available with --engine dar.
Engine improvements
- Performance of IMC engine has been improved.
- Performance of predicate abstraction engine has been improved.
- Implementation of TPA for DAG of transition systems have been simplified in line with the published pseudocode.
- TPA now handles nested loops in a more structural way.
Miscellaneous
- Alethe proofs are now a bit more compact.