IMITATOR is now 2.8 beta 1

imitator-model-checker · Jun 13, 2016 · fd79584 · fd79584
1 parent fae8823
commit fd79584
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/build_number.txt b/build_number.txt
@@ -1 +1 @@
-1996
+1997
diff --git a/src/Constants.ml b/src/Constants.ml
@@ -9,7 +9,7 @@
  * 
  * File contributors : Étienne André
  * Created           : 2014/10/24
- * Last modified     : 2016/04/07
+ * Last modified     : 2016/06/13
  *
  ************************************************************)
 
@@ -22,7 +22,7 @@
 
 let program_name = "IMITATOR"
 
-let version_string = "2.8-alpha"
+let version_string = "2.8-beta1"
 
 let version_name = "Butter Ham"