CHANGES 813 Bytes
Newer Older
Gwenaël Delaval's avatar
Gwenaël Delaval committed
1 2 3 4 5
Heptagon 1.00.06 (21/02/2014)
-----------------------------

 - allowed abstractions (non-inlined subnodes calls) in contracts

Gwenaël Delaval's avatar
Gwenaël Delaval committed
6 7 8 9
Heptagon 1.00.05 (28/01/2014)
-----------------------------

 - bug fix: correct handling of nodes with contracts inside automata and switches
Gwenaël Delaval's avatar
Gwenaël Delaval committed
10

11 12 13 14 15 16
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

Gwenaël Delaval's avatar
Gwenaël Delaval committed
17 18 19
Heptagon 1.00.03 (20/11/2013)
-----------------------------

20
 - bug fix: tomato application with contracts
Gwenaël Delaval's avatar
Gwenaël Delaval committed
21

Gwenaël Delaval's avatar
Gwenaël Delaval committed
22 23 24 25 26 27 28 29 30
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