diff --git a/CHANGES b/CHANGES index f014c03..55db504 100644 --- a/CHANGES +++ b/CHANGES @@ -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) ----------------------------- diff --git a/Makefile-distrib b/Makefile-distrib index 24f07d9..3ee7805 100644 --- a/Makefile-distrib +++ b/Makefile-distrib @@ -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) diff --git a/compiler/utilities/global/compiler_options.ml b/compiler/utilities/global/compiler_options.ml index 08b5c8c..d677dc2 100644 --- 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 *)