sliver 1.4

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

Please note that sliver-v1.3 was an internal release.

Changes since v1.2

Version 1.4 - 2020-02

• LNT translation: disable stigmergies and/or environment when not needed
• SLiVER: fixed several bugs related to CADP backend
• SLiVER: added counterexample translations for CADP backend

Version 1.3 - 2019-11 (internal release)

• LabsTranslate: General improvements to parser/code generator
• LabsTranslate: Fixed a bug when using external variables in array subscript
• LabsTranslate: Added LNT translation (experimental)
• LabsTranslate: Remove (some) redundant sub-predicates from "finally"/"always" assertions
• SLiVER: Added support to generate unbounded encodings
• SLiVER: Updated bundled CSeq backend, improved support for parallel analysis
• C translation: Disable stigmergy encoding when not needed
• C translation: General improvements

sliver v1.2

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

sliver v1.0

Readme