sliver v3.0-PREVIEW
Pre-release
Pre-release
·
18 commits
to concretize
since this release
- 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.