Skip to content

v4.0.0
Compare
Choose a tag to compare
@leventeBajczi leventeBajczi released this 26 Mar 21:02
· 1780 commits to master since this release
v4.0.0
cf8fb51
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

This release adds many important changes to Theta. The most important ones:

  1. frontends subproject-family adds a place for non-dsl parsers for the formalisms in Theta
  2. c-frontend subproject adds support for C programs
  3. xcfa subproject-family adds a new formalism, the eXtended Control Flow Automaton to Theta
  4. An experimental portfolio and algorithm selection engine for the XCFA formalism
  5. An experimental BMC implementation
Assets 8
Loading