Skip to content

sliver 2.1
Compare
Choose a tag to compare
@lou1306 lou1306 released this 29 Nov 15:47
· 175 commits to master since this release
v2.1
ae851e1
This commit was signed with the committer’s verified signature.
lou1306 Luca Di Stefano
GPG key ID: 826AB2A4C8A549F2
Learn about vigilant mode.

Please refer to README.txt for installation and usage instructions.

Changes since v2.0

  • C translation: Fixed a bug with the nondeterministic value operator
  • C translation: Fixed a bug with counterexample translation
  • LAbS: Added an optional "assume { ... }" section to constrain initial states (LAbS-to-C only)
  • SLiVER: Fixed a bug in CSeq backend
  • SLiVER: Fixed a bug with the --no-properties option
  • SLiVER: New CLI option --include
Assets 3
Loading