Changes since v3.0
-
C translation: general improvements
-
LAbS: Added conditional processes (cond => P) (C encoding only)
-
LAbS: Added multi-dimensional arrays (e.g., arr[x, y, z]) (C encoding only)
-
SLiVER: Fixed ESBMC backend for SMT-based BMC
-
SLiVER: Improved performance of CBMC simulation workflow
Additional instructions
After unpacking the zip archive, follow the instructions in README.txt
.