|
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
|