Revision 70e1006b
Added by Xavier Thirioux about 10 years ago
- added
- modified
- copied
- renamed
- deleted
- src
- automata.ml
- backends
- basic_library.ml (diff)
- clock_calculus.ml (diff)
- clock_predef.ml (diff)
- compiler_common.ml
- corelang.ml (diff)
- corelang.mli (diff)
- delay_predef.ml (diff)
- inliner.ml (diff)
- lexer_lustre.mll (diff)
- liveness.ml (diff)
- location.ml (diff)
- lusic.ml
- lustreSpec.ml (diff)
- machine_code.ml (diff)
- main_lustre_compiler.ml (diff)
- modules.ml
- normalization.ml (diff)
- optimize_prog.ml (diff)
- parse.ml (diff)
- parser_lustre.mly (diff)
- printers.ml (diff)
- types.ml (diff)
- typing.ml (diff)
This is a major revision:
- added interface files (.lusi) in the language, that can be compiled on their own, giving an object file (.lusic) and a header file (.h)
- modular code generation, from Lustre to C level included.
- nice amount of code refactoring