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 |