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.
Merge pull request #447 from kind2-mc/develop Docker and travis tweaks, interpreter fixes
Merge pull request #415 from mebsout/develop Merge with master
correct version number
Correct bound for non constant array sizes
Merge pull request #367 from mebsout/develop Improvements in parsing and flags
Fail if we use --arrays_rec with a solver other than CVC4
Updated version number for release
Updated version number
Merge remote-tracking branch 'origin/develop' into release-0.8.0