Release 4.0

Author: lou1306

HISTORY

@@ -1,3 +1,11 @@
+Version 4.0 - 2023-05
+
+C translation: general improvements
+LAbS: Added conditional processes (cond => P) (C encoding only)
+LAbS: Added multi-dimensional arrays (e.g., arr[x, y, z]) (C encoding only)
+SLiVER: Fixed ESBMC backend for SMT-based BMC
+SLiVER: Improved performance of CBMC simulation workflow
+
 Version 3.0 - 2022-07
 
 LAbS: Added blocks of actions "{a1; a2; ... ; an}"
@@ -9,7 +17,6 @@ LAbS: Added nondeterministic agent selection "pick"
 LAbS: Added ternary operator "if cond then expr1 else expr2"
 LAbS: Underscores ("_") can now be used within all names (but not at the beginning of a name)
 LAbS: Arithmetic expressions can now be used where a Boolean expression is expected ("expr" is desugared into "expr != 0")
-
 SLiVER: CBMC backend now supports simulation
 SLiVER: Added a compositional CADP backend "cadp-comp" (experimental)
 

README.txt

@@ -1,6 +1,6 @@
 
-            SLiVER  4.0-230417
-              18 April 2023
+            SLiVER  4.0
+            10 May 2023
 
 The SLiVER LAbS VERification tool
 
@@ -27,13 +27,19 @@ sliver/           SLiVER code
 
 To install SLiVER, please follow the steps below:
 
-    1. install Python 3.10 or higher
+    1. install Python 3.10 or higher.
+       We recommend setting up a dedicated Python installation/environment
+       by using pyenv or similar tools.
 
     2. create a directory, suppose this is called /workspace
 
     3. extract the entire package contents in /workspace
 
-    4. set execution permissions (chmod +x) for sliver.py and cbmc-simulator
+    4. set execution permissions (chmod +x) for the following files:
+        - sliver.py
+        - sliver/cbmc/cbmc-simulator
+        - sliver/cbmc/cbmc-5-74
+        - sliver/minisat/minisat
 
     5. Install dependencies with (pip install -r requirements.txt)
 

sliver/app/__about__.py

@@ -6,5 +6,5 @@
 __summary__ = "The SLiVER LAbS VERification tool"
 __uri__ = "https://github.com/labs-lang/sliver"
 
-__version__ = "4.0-230418"
-__date__ = "18 April 2023"
+__version__ = "4.0"
+__date__ = "10 May 2023"