Skip to content

sliver 2.0
Compare
Choose a tag to compare
@lou1306 lou1306 released this 01 Oct 13:43
· 186 commits to master since this release
v2.0
9d85a85
This commit was signed with the committer’s verified signature.
lou1306 Luca Di Stefano
GPG key ID: 826AB2A4C8A549F2
Learn about vigilant mode.

Please refer to README.txt for installation and usage instructions.
Note that, from now on, SLiVER requires Python >= 3.8.

Changes since v1.7

  • LNT translation: the "cadp" backend uses a new property translation workflow. The old workflow is still available as "cadp-monitor"
  • Parser: Fixed a bug with arrays in link predicates and properties
  • Parser: Basic support for a new "raw function call" process $call(...)
  • SLiVER: Updated dependencies (pyparsing and click)
  • SLiVER: Better reporting, especially with --verbose
  • SLiVER: New CLI options --property and --no-properties for property selection
  • SLiVER: New CLI options --keep-files
  • SLiVER: Fixed a bug in CSeq backend's parallel analysis which occasionally led to deadlocks
Assets 3
Loading