Revision 53472c83
Added by Pierre-Loïc Garoche over 6 years ago
| TODO.org | ||
|---|---|---|
| 1 |
* TODO refactoring + doc |
|
| 2 |
- separate lustre types from machine types in different files |
|
| 3 |
- split basic libs into backend specific files |
|
| 4 |
- define mli for core steps: normalization and machine code |
|
| 5 |
- define mli for lustre_type and machine_type (Garion) |
|
| 6 |
|
|
| 1 | 7 |
* TODO |
| 2 | 8 |
** include files |
| 3 | 9 |
** main function |
Also available in: Unified diff
Updated TODO
Changed selection of files in odocl