Revision f4cba4b8
Added by Pierre-Loïc Garoche almost 6 years ago
- added
- modified
- copied
- renamed
- deleted
- TODO.org (diff)
- src
- arrow.ml (diff)
- automata.ml (diff)
- backends
- causality.ml (diff)
- checks
- clock_calculus.ml (diff)
- compiler_common.ml (diff)
- compiler_stages.ml (diff)
- corelang.ml (diff)
- corelang.mli (diff)
- error.ml (diff)
- inliner.ml (diff)
- lustre_types.ml (diff)
- machine_code.ml (diff)
- machine_code.mli (diff)
- machine_code_common.ml (diff)
- machine_code_types.ml (diff)
- modules.ml (diff)
- normalization.ml (diff)
- parsers
- printers.ml (diff)
- scheduling.ml (diff)
- tools
- typing.ml (diff)
- utils
Some progress on compiling cocospec contract.
Contract resolution still need to be done as well as dealing with the machine code level and so on.