Revision 0406ab94 - implement optimization on spec: IT WORKS - LustreC

« Previous | Next »

Revision 0406ab94

Added by Lélio Brun almost 4 years ago

ID 0406ab94f3dee622eec64a912fae116122dc845a
Parent 27502d69
Child 50a8778a

implement optimization on spec: IT WORKS

added
modified
copied
renamed
deleted

include
- arrow_spec.h (diff)
src
- backends
  - C
    - c_backend_spec.ml (diff)
- machine_code.ml (diff)
- machine_code_common.ml (diff)
- optimize_machine.ml (diff)
- spec_common.ml (diff)
- spec_types.ml (diff)