CHANGES 2.76 KB
Newer Older
Gwenaël Delaval's avatar
Gwenaël Delaval committed
1 2 3 4 5 6 7
Heptagon 1.05.00 (07/06/2018)
-----------------------------

 - Option -simple-scheduler active for scheduling post-ctrln code generation
 - Handle implication operator in Sigali backend
 - Compatibility with reatk >= 0.14

Gwenaël Delaval's avatar
Gwenaël Delaval committed
8 9 10 11 12 13 14
Heptagon 1.04.00 (29/09/2017)
-----------------------------

 - Lustre front-end (experimental) : syntax adaptations to parse Lustre programs
 - Bug fix in normalization of merge
 - Compatibility with reatk >= 0.11

Gwenaël Delaval's avatar
Gwenaël Delaval committed
15 16 17 18 19 20 21 22 23 24
Heptagon 1.03.04 (24/05/2017)
-----------------------------

 - Bug correction in init analysis (bug #14076)
 - Bug correction in causality analysis: contradictory dependencies
   in states of automata were accepted, non schedulable equations generated
 - optimization on several passes
 - added -simple-scheduler option, triggering very simple, time-efficient
   scheduling

25 26 27 28 29 30 31
Heptagon 1.03.03 (14/03/2017)
-----------------------------

 - Correction in Ctrl-n backend: suppression of erroneous "c_" prefixes
 - Correction in Ctrl2ept: no systematic conversion from int to float
 - Correction in Ctrl-n backend: handling of implication and "xor" operators

Gwenaël Delaval's avatar
Gwenaël Delaval committed
32 33 34 35 36 37
Heptagon 1.03.02 (08/02/2017)
-----------------------------

 - Added operator '=>' (logical implication)
 - Systematic sink state in Ctrl-n backend, outputs as local variables

Gwenaël Delaval's avatar
Gwenaël Delaval committed
38 39 40 41 42 43 44 45 46 47 48 49 50
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

Gwenaël Delaval's avatar
Gwenaël Delaval committed
51 52 53 54 55 56
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)

57 58 59 60 61
Heptagon 1.01.00 (17/09/2015)
-----------------------------

 - back-end towards controller synthesis tool ReaX

Gwenaël Delaval's avatar
Gwenaël Delaval committed
62 63 64 65 66
Heptagon 1.00.06 (21/02/2014)
-----------------------------

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

Gwenaël Delaval's avatar
Gwenaël Delaval committed
67 68 69 70
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
71

72 73 74 75 76 77
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
78 79 80
Heptagon 1.00.03 (20/11/2013)
-----------------------------

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

Gwenaël Delaval's avatar
Gwenaël Delaval committed
83 84 85 86 87 88 89 90 91
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