Revision 1fd3d002
Added by Pierre-Loïc Garoche almost 6 years ago
- added
- modified
- copied
- renamed
- deleted
- src
- causality.ml (diff)
- clock_calculus.ml (diff)
- clocks.ml (diff)
- compiler_common.ml (diff)
- compiler_stages.ml (diff)
- corelang.ml (diff)
- corelang.mli (diff)
- lustre_types.ml (diff)
- machine_code.ml (diff)
- machine_code_common.ml (diff)
- machine_code_types.ml (diff)
- normalization.ml (diff)
- optimize_machine.ml (diff)
- parsers
- plugins
- printers.ml (diff)
- typing.ml (diff)
Cocospec: parsing, normalizing and processing machines for contracts.