Skip to content

sliver v3.0-PREVIEW

Pre-release
Pre-release
Compare
Choose a tag to compare
@lou1306 lou1306 released this 27 May 08:37
· 18 commits to concretize since this release
v3.0-pre
1e7c3e4
This commit was signed with the committer’s verified signature.
lou1306 Luca Di Stefano
GPG key ID: 826AB2A4C8A549F2
Learn about vigilant mode.
  • C translation: Support new LAbS features (experimental)
  • SLiVER: Added simulation support to CBMC backend (requires Z3)

Caveat

This is a pre-release. The syntax supported here may be subject to chenge.

Additional instructions

After unpacking the zip archive, cd to the SLiVER root directory and run the following command:

pip install -r requirements.txt

This will install Z3 and its Python API, needed by the CBMC-based simulation workflow.

Assets 3
Loading