Skip to content

v2.5
Compare
Choose a tag to compare
@MarkusRabe MarkusRabe released this 05 Aug 00:39
· 19 commits to master since this release
v2.5
30fd413

New features:

  • Certification works now also when CADET uses CEGAR to support its engine (activated by default).
  • Functional synthesis and quantifier elimination completely overhauled.
  • All certificates, including those from functional synthesis and quantifier elimination are now checked by default, when compiled in debug mode ('./configure --debug').

Changing dependencies:

  • Dropped support for Python 2. Now CADET requires Python 3.6+ for its testing scripts.
Assets 4
Loading