Skip to content

v0.4.0
Compare
Choose a tag to compare
@blishko blishko released this 29 Mar 07:55
· 302 commits to master since this release
v0.4.0
4811ea9

This release extends the set of supported linear systems in TPA engine from chain of transition system to a DAG of transition systems.
Also, TPA engine will now also handle non-recursive systems of Horn clauses.

Additionally, with this release Golem now uses the latest release of OpenSMT: v2.5.0

Assets 4
Loading