lustrec / TODO.org @ 22fe1c93
History | View | Annotate | Download (1.13 KB)
| 1 |
* TODO |
|---|---|
| 2 |
** include files |
| 3 |
** main function |
| 4 |
*** add a clean test to forbid array arguments for main node |
| 5 |
(no available input/output methods) |
| 6 |
** test suite |
| 7 |
*** for complex dependency graphs (notably mem/mem cyclic dependencies) |
| 8 |
*** for clocks |
| 9 |
*** for arrays (non-generic nodes) |
| 10 |
** compare with lus2c (verimag) |
| 11 |
** extension |
| 12 |
*** array access: done |
| 13 |
*** add an option to dynamically check array accesses: done |
| 14 |
*** power operator: done |
| 15 |
*** automaton |
| 16 |
*** annotations to ACSL |
| 17 |
** init checking |
| 18 |
*** to be done !!! |
| 19 |
** normalization |
| 20 |
*** sub-expression sharing seems to be not totally working: fixed |
| 21 |
*** improve behavior for power and access operators:done |
| 22 |
*** more type-directed normalization (notably to improve code gen for arrays): done |
| 23 |
*** reuse of dead vars instead of systematically allocating new local vars |
| 24 |
*** add a clean test for used but undefined nodes |
| 25 |
** typing |
| 26 |
*** correct typing of arith ops (real/int with subtyping ?) |
| 27 |
*** display array dimensions with correct names: done |
| 28 |
*** clocks must not be static inputs: done |
| 29 |
** clock calculus |
| 30 |
*** extension from named clocks to valued clocks ? |
| 31 |
*** static inputs should be polymorphic, as global constants are: done |