Version 1.04.00

2017-09-29 14:58:37 +02:00 · 2017-09-29 14:58:37 +02:00 · 95c9eb699b
commit 95c9eb699b
parent 24469c9ae1
3 changed files with 9 additions and 2 deletions
--- a/7
+++ b/7
@ -1,3 +1,10 @@
+Heptagon 1.04.00 (29/09/2017)
+-----------------------------
+
+ - Lustre front-end (experimental) : syntax adaptations to parse Lustre programs
+ - Bug fix in normalization of merge
+ - Compatibility with reatk >= 0.11
+
 Heptagon 1.03.04 (24/05/2017)
 -----------------------------

--- a/2
+++ b/2
@ -2,7 +2,7 @@
 include config

 #version = $(shell date +"%d%m%y")
-version = 1.03.04
+version = 1.04.00
 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.03.04"
+let version = "1.04.00"
 let date = "DATE"

 (* standard module *)