Skip to content

sliver 1.7
Compare
Choose a tag to compare
@lou1306 lou1306 released this 15 Jul 18:05
· 233 commits to master since this release
v1.7
06e22cb
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.

Changes since v1.6

  • Parser: A new "nondeterministic value" operator [n .. m] is supported (LAbS-to-C only)
  • Parser: link predicates now support "of 1", "of 2" in addition to the legacy syntax "of c1", "of c2"
  • LNT translation: code generator now follows the new LNT syntax (CADP 2021-d)
  • LNT translation: more efficient encoding of timestamps
Assets 3
Loading