heptagon/CHANGES
Gwenaël Delaval 4552f62872 Version 1.02.00
2015-12-13 22:38:24 +01:00

41 lines
1.1 KiB
Text

Heptagon 1.02.00 (13/12/2015)
-----------------------------
- syntax for attractivity and reachability in contracts
- option to force abstraction of infinite-domain state variables (ctrl-n)
Heptagon 1.01.00 (17/09/2015)
-----------------------------
- back-end towards controller synthesis tool ReaX
Heptagon 1.00.06 (21/02/2014)
-----------------------------
- allowed abstractions (non-inlined subnodes calls) in contracts
Heptagon 1.00.05 (28/01/2014)
-----------------------------
- bug fix: correct handling of nodes with contracts inside automata and switches
Heptagon 1.00.04 (14/01/2014)
-----------------------------
- bug fix: comparison between two non-constant integer expressions in Sigali
- bug fix: correct handling of "=" and "<>" operators in Sigali
Heptagon 1.00.03 (20/11/2013)
-----------------------------
- bug fix: tomato application with contracts
Heptagon 1.00.02 (29/10/2013)
-----------------------------
- scrollbars in graphical simulator hepts
Heptagon 1.00.01 (05/08/2013)
-----------------------------
- bug fix : abstraction of integer in Sigali code generation