sliver 1.5

lou1306 released this 04 Oct 14:45

· 245 commits to master since this release

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

Changes since v1.4

LabsTranslate: improve simplification of Boolean expressions
LNT translation: general improvements
LNT translation: adapted to new LNT syntax (CADP 2020-d and beyond)
C translation: disable stigmergies and/or environment when not needed
C translation: remove all preprocessor directives
SLiVER: CBMC backend now compatible with cbmc > 5.10
SLiVER: Improved cleanup of intermediate files
SLiVER: Support CSeq-1.9

Assets 3