Release v1.6

Author: lou1306

HISTORY

@@ -1,3 +1,8 @@
+Version 1.6 - 2021-01
+
+LNT translation: code generator now follows the new LNT syntax
+LNT translation: fix a CADP verification query
+
 Version 1.5 - 2020-10
 LabsTranslate: improve simplification of Boolean expressions
 LNT translation: general improvements

README.md

@@ -3,7 +3,8 @@
 
 SLiver is a tool for the analysis of multi-agent systems specified in the
 LAbS language [1]. At the moment, it support under-approximate analysis
-via bounded model checking, or analisys of the full state space via explicit-state model checking.
+via bounded model checking, or analisys of the full state space via
+explicit-state model checking.
 
 This page contains source code and binary releases of SLiVER for Linux x64 systems.
 

README.txt

@@ -1,6 +1,6 @@
 
-              SLiVER 1.5
-              October 2020
+              SLiVER 1.6
+              February 2021
 
 Symbolic LAbS VERifier
 

__about__.py

@@ -6,5 +6,5 @@
 __summary__ = "The SLiVER LAbS VERification tool"
 __uri__ = "https://github.com/labs-lang/sliver"
 
-__version__ = "1.5"
-__date__ = "October 2020"
+__version__ = "1.6"
+__date__ = "February 2021"

sliver.py

@@ -78,7 +78,7 @@ def make_filename(file, values, bound, fair, sync, language):
 @click.option('--verbose', **DEFAULTS("verbose", default=False, is_flag=True))
 def main(file, backend_arg, fair, simulate, show, values, **kwargs):
     """
-* * *  SLiVER - Symbolic LAbS VERification. v1.5 (October 2020) * * *
+* * *  SLiVER - Symbolic LAbS VERification. v1.6 (February 2021) * * *
 
 FILE -- path of LABS file to analyze