Revision 13507742 - Refactored some code: optimization of machine - LustreC

« Previous | Next »

Revision 13507742

Added by Pierre-Loïc Garoche almost 6 years ago

ID 13507742ce19df91f98f0e7ea797dba704d05477
Parent 1b721bfd
Child 01b501ca

Refactored some code: optimization of machine

added
modified
copied
renamed
deleted

src
- backends
  - backends.ml (diff)
- corelang.ml (diff)
- corelang.mli (diff)
- machine_code.ml (diff)
- main_lustre_compiler.ml (diff)
- optimize_machine.ml (diff)
- options_management.ml (diff)