Version 1.03.01

2016-06-02 01:59:51 +02:00 · 2016-06-02 01:59:51 +02:00 · 5e277fcc8a
commit 5e277fcc8a
parent f34031dbda
3 changed files with 15 additions and 2 deletions
--- a/13
+++ b/13
@ -1,3 +1,16 @@
+Heptagon 1.03.01 (02/06/2016)
+-----------------------------
+
+ - Correct typing of numericals when translating Controllable-Nbac nodes
+ - Handling of several controllers by module and correct modular controller synthesis
+ - Correction of Java target with controllers
+
+Heptagon 1.03.00 (18/01/2016)
+-----------------------------
+
+ - -deadcode option, improvement of deadcode removal
+ - graphical simulator handles type aliasing
+
 Heptagon 1.02.00 (13/12/2015)
 -----------------------------

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

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

 (* standard module *)