Version 1.00.05

2014-01-28 16:31:16 +01:00 · 2014-01-28 16:31:16 +01:00 · 9c4b3f3267
commit 9c4b3f3267
parent 2d96b60c49
3 changed files with 6 additions and 2 deletions
--- a/4
+++ b/4
@ -1,3 +1,7 @@
+Heptagon 1.00.05 (28/01/2014)
+-----------------------------
+
+ - bug fix: correct handling of nodes with contracts inside automata and switches

 Heptagon 1.00.04 (14/01/2014)
 -----------------------------
--- a/2
+++ b/2
@ -2,7 +2,7 @@
 include config

 #version = $(shell date +"%d%m%y")
-version = 1.00.04
+version = 1.00.05
 osname=$(shell uname -s)
 hardware=$(shell uname -m)
 heptdir = heptagon-$(version)
--- a/compiler/utilities/global/compiler_options.ml
+++ b/compiler/utilities/global/compiler_options.ml
@ -32,7 +32,7 @@
 open Names

 (* version of the compiler *)
-let version = "1.00.04"
+let version = "1.00.05"
 let date = "DATE"

 (* standard module *)