heptagon/CHANGES

31 lines
813 B
Text
Raw Normal View History

2014-02-21 18:12:07 +01:00
Heptagon 1.00.06 (21/02/2014)
-----------------------------
- allowed abstractions (non-inlined subnodes calls) in contracts
2014-01-28 16:31:16 +01:00
Heptagon 1.00.05 (28/01/2014)
-----------------------------
- bug fix: correct handling of nodes with contracts inside automata and switches
2013-10-29 19:03:31 +01:00
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
2013-11-20 10:20:35 +01:00
Heptagon 1.00.03 (20/11/2013)
-----------------------------
- bug fix: tomato application with contracts
2013-11-20 10:20:35 +01:00
2013-10-29 19:03:31 +01:00
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