-
- Downloads
- Addtional encapsulation of machine_code instr in a struct to enable future...
- Addtional encapsulation of machine_code instr in a struct to enable future extension of type with more metadata. - Improved EMF backend with META information
Showing
- src/backends/C/c_backend_src.ml 6 additions, 6 deletionssrc/backends/C/c_backend_src.ml
- src/backends/EMF/EMF_backend.ml 74 additions, 12 deletionssrc/backends/EMF/EMF_backend.ml
- src/backends/Horn/horn_backend_printers.ml 1 addition, 1 deletionsrc/backends/Horn/horn_backend_printers.ml
- src/corelang.ml 9 additions, 0 deletionssrc/corelang.ml
- src/corelang.mli 5 additions, 1 deletionsrc/corelang.mli
- src/lustreSpec.ml 4 additions, 0 deletionssrc/lustreSpec.ml
- src/machine_code.ml 38 additions, 25 deletionssrc/machine_code.ml
- src/main_lustre_compiler.ml 1 addition, 1 deletionsrc/main_lustre_compiler.ml
- src/optimize_machine.ml 51 additions, 46 deletionssrc/optimize_machine.ml
- src/pluginList.ml 0 additions, 5 deletionssrc/pluginList.ml
- src/plugins/salsa/machine_salsa_opt.ml 10 additions, 10 deletionssrc/plugins/salsa/machine_salsa_opt.ml
- src/plugins/scopes/scopes.ml 5 additions, 4 deletionssrc/plugins/scopes/scopes.ml
Loading
Please register or sign in to comment