From 5e277fcc8a90845245ea8ad2c5cfafb43f94cac0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Thu, 2 Jun 2016 01:59:51 +0200
Subject: [PATCH] Version 1.03.01

---
 CHANGES                                       | 13 +++++++++++++
 Makefile-distrib                              |  2 +-
 compiler/utilities/global/compiler_options.ml |  2 +-
 3 files changed, 15 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index 2da85d8..b7afa41 100644
--- a/CHANGES
+++ b/CHANGES
@@ -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)
 -----------------------------
 
diff --git a/Makefile-distrib b/Makefile-distrib
index 71d0eb3..50a7edf 100644
--- a/Makefile-distrib
+++ b/Makefile-distrib
@@ -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)
diff --git a/compiler/utilities/global/compiler_options.ml b/compiler/utilities/global/compiler_options.ml
index 1806c80..e94c17c 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.00"
+let version = "1.03.01"
 let date = "DATE"
 
 (* standard module *)