We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Start post-release for 1.2.2
Bump version to 1.2.2
Tag for Kshitij's implementation of sets.
Stable entry to SMT-COMP 2015
Experimental entry to SMT-COMP 2015
Cutting release 1.4.
Fixing the previous bugfix.
QuitCommand needs "success" output for trace executor. :-(
Submitted SMT-COMP 2014 version
Cutting release 1.3.