Revision 3d1f9d9f - more agressive optim propagation in spec in order to remove unecessarry exist... - LustreC

« Previous | Next »

Revision 3d1f9d9f

Added by Lélio Brun over 3 years ago

ID 3d1f9d9f38a9dc9a1d06dee1e6d8593db9e1ec18
Parent d119be37
Child 7cb1f579

more agressive optim propagation in spec in order to remove unecessarry existential variables that were eliminated (helps the solvers)

added
modified
copied
renamed
deleted

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_common.mli (diff)
- spec_types.ml (diff)
- spec_types.mli (diff)