Added build for Model Checker with machine integers

Author: wimmers

ML/Checker_int.patch

@@ -0,0 +1,38 @@
+*** Checker.sml	2018-03-20 15:06:22.000000000 +0100
+--- Checker_int.sml	2018-03-20 15:06:14.000000000 +0100
+***************
+*** 80,87 ****
+    end
+  
+  
+! val to_int = Int_of_integer o IntInf.fromInt
+! val to_nat = nat_of_integer o IntInf.fromInt
+  val nat_of_int = nat_of_integer o integer_of_int
+  
+  
+--- 80,87 ----
+    end
+  
+  
+! val to_int = Int_of_integer o Int.fromInt
+! val to_nat = nat_of_integer o Int.fromInt
+  val nat_of_int = nat_of_integer o integer_of_int
+  
+  
+***************
+*** 259,265 ****
+        if !debug_level >= 3 then
+          println (
+            "\n"
+!           ^ list_to_string (list_to_string (list_to_string (IntInf.toString o integer_of_nat))) k
+            ^ "\n"
+          )
+        else ()
+--- 259,265 ----
+        if !debug_level >= 3 then
+          println (
+            "\n"
+!           ^ list_to_string (list_to_string (list_to_string (Int.toString o integer_of_nat))) k
+            ^ "\n"
+          )
+        else ()

ML/Makefile

@@ -1,9 +1,24 @@
-all: munta.mlb UPPAAL_Model_Checker_patched.sml
+all: munta
+
+munta: munta.mlb UPPAAL_Model_Checker_patched.sml
 	mlton munta.mlb
 	chmod +x munta
 
+munta_int: munta_int.mlb Checker_int.sml UPPAAL_Model_Checker_int.sml
+	mlton -output munta_int munta_int.mlb
+	chmod +x munta_int
+
 UPPAAL_Reachability_Checker_patched.sml: UPPAAL_Reachability_Checker.sml
 	patch -i postprocessing.patch -o UPPAAL_Reachability_Checker_patched.sml
 
 UPPAAL_Model_Checker_patched.sml: UPPAAL_Model_Checker.sml
-	patch -i postprocessing_mc.patch -o UPPAAL_Model_Checker_patched.sml
+	patch -i postprocessing_mc.patch -o UPPAAL_Model_Checker_patched.sml
+
+Checker_int.sml: Checker.sml
+	patch -i Checker_int.patch -o Checker_int.sml
+
+UPPAAL_Model_Checker_int.sml: UPPAAL_Model_Checker_patched.sml
+	patch -i UPPAAL_Model_Checker_int.patch -o UPPAAL_Model_Checker_int.sml UPPAAL_Model_Checker_patched.sml
+
+munta_int.mlb: munta.mlb
+	patch -i munta_int.patch -o munta_int.mlb