-
- Downloads
add an exhaustivity parameter to Branch constructor in Machine Code to handle...
add an exhaustivity parameter to Branch constructor in Machine Code to handle C switch default case optimization in case of a singleton enum
Showing
- offline_tests/test.ml 8 additions, 7 deletionsoffline_tests/test.ml
- src/backends/Ada/ada_backend_adb.ml 3 additions, 3 deletionssrc/backends/Ada/ada_backend_adb.ml
- src/backends/Ada/misc_lustre_function.ml 1 addition, 1 deletionsrc/backends/Ada/misc_lustre_function.ml
- src/backends/C/c_backend_header.ml 13 additions, 7 deletionssrc/backends/C/c_backend_header.ml
- src/backends/C/c_backend_spec.ml 6 additions, 5 deletionssrc/backends/C/c_backend_spec.ml
- src/backends/C/c_backend_src.ml 7 additions, 5 deletionssrc/backends/C/c_backend_src.ml
- src/backends/EMF/EMF_backend.ml 2 additions, 2 deletionssrc/backends/EMF/EMF_backend.ml
- src/backends/Horn/horn_backend_printers.ml 1 addition, 1 deletionsrc/backends/Horn/horn_backend_printers.ml
- src/machine_code.ml 3 additions, 2 deletionssrc/machine_code.ml
- src/machine_code_common.ml 8 additions, 7 deletionssrc/machine_code_common.ml
- src/machine_code_common.mli 2 additions, 2 deletionssrc/machine_code_common.mli
- src/machine_code_dep.ml 1 addition, 1 deletionsrc/machine_code_dep.ml
- src/machine_code_types.mli 1 addition, 1 deletionsrc/machine_code_types.mli
- src/optimize_machine.ml 155 additions, 113 deletionssrc/optimize_machine.ml
Loading
Please register or sign in to comment