Version 5.1

lou1306 · lou1306 · commit 7d52472ebc29 · 2024-11-06T13:42:20.000+01:00
diff --git a/HISTORY b/HISTORY
@@ -1,3 +1,8 @@
+Version 5.1 - 2024-11
+
+SLiVER: Fixed a bug with CBMC counterexample parsing
+LAbS: Updated/improved bundled examples
+
 Version 5.0 - 2024-11
 
 C translation: general improvements
diff --git a/README.txt b/README.txt
@@ -1,6 +1,6 @@
 
-            SLiVER  5.0
-          5 November 2024
+            SLiVER  5.1
+          6 November 2024
 
 The SLiVER LAbS VERification tool
 
@@ -71,4 +71,3 @@ Invoking the tool without options:
     ./sliver.py
 
 will provide further usage directions.
-
diff --git a/sliver/app/__about__.py b/sliver/app/__about__.py
@@ -6,5 +6,5 @@
 __summary__ = "The SLiVER LAbS VERification tool"
 __uri__ = "https://github.com/labs-lang/sliver"
 
-__version__ = "5.0"
-__date__ = "5 November 2024"
+__version__ = "5.1"
+__date__ = "6 November 2024"
