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

« Previous | Next »

Revision 13507742

ID	13507742ce19df91f98f0e7ea797dba704d05477
Parent	1b721bfd
Child	01b501ca

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

Refactored some code: optimization of machine

Files

added
modified
copied
renamed
deleted

View differences

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)