Revision 66359a5e
Added by Pierre-Loïc Garoche almost 7 years ago
- added
- modified
- copied
- renamed
- deleted
- src
- _tags.in (diff)
- automata.ml (diff)
- backends
- compiler_common.ml (diff)
- compiler_stages.ml (diff)
- corelang.ml (diff)
- corelang.mli (diff)
- env.ml (diff)
- features
- global.ml (diff)
- inliner.ml (diff)
- lexerLustreSpec.mll (diff)
- lustreSpec.ml (diff)
- machine_code.ml (diff)
- main_lustre_compiler.ml (diff)
- normalization.ml (diff)
- optimize_machine.ml (diff)
- parserLustreSpec.mly (diff)
- parser_lustre.mly (diff)
- pathConditions.ml (diff)
- printers.ml (diff)
- type_predef.ml (diff)
- types.ml (diff)
- typing.ml (diff)
[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)
typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied multiple times on the same program