Revision 3ca27bc7
Added by Pierre-Loïc Garoche almost 6 years ago
- added
- modified
- copied
- renamed
- deleted
- src
- backends
- corelang.ml (diff)
- corelang.mli (diff)
- lustreSpec.ml (diff)
- machine_code.ml (diff)
- main_lustre_compiler.ml (diff)
- optimize_machine.ml (diff)
- pluginList.ml
- plugins
- Addtional encapsulation of machine_code instr in a struct to enable future extension of type with more metadata.
- Improved EMF backend with META information