Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / TODO.org @ 7c95dcab

History | View | Annotate | Download (1.37 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
32

    
33
* Horn backend
34
** enum types for automaton
35
   - issues with MBranches and clocks
36
     - control-on-clock generates a "if cond then expr else nothing
37
     - it has to be expressed in a functional way to enable its expression as
38
       horn
39