diff --git a/CHANGES b/CHANGES index 0bd82b4..f014c03 100644 --- a/CHANGES +++ b/CHANGES @@ -1,3 +1,13 @@ +Heptagon 1.03.04 (24/05/2017) +----------------------------- + + - Bug correction in init analysis (bug #14076) + - Bug correction in causality analysis: contradictory dependencies + in states of automata were accepted, non schedulable equations generated + - optimization on several passes + - added -simple-scheduler option, triggering very simple, time-efficient + scheduling + Heptagon 1.03.03 (14/03/2017) ----------------------------- diff --git a/Makefile-distrib b/Makefile-distrib index 91a9640..24f07d9 100644 --- a/Makefile-distrib +++ b/Makefile-distrib @@ -2,7 +2,7 @@ include config #version = $(shell date +"%d%m%y") -version = 1.03.03 +version = 1.03.04 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 a60c669..08b5c8c 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.03" +let version = "1.03.04" let date = "DATE" (* standard module *)