start instrumenting the main C function
Showing
- .ocamlformat 1 addition, 0 deletions.ocamlformat
- include/arrow_spec.h 7 additions, 0 deletionsinclude/arrow_spec.h
- src/automata.ml 85 additions, 41 deletionssrc/automata.ml
- src/backends/Ada/ada_backend.ml 16 additions, 6 deletionssrc/backends/Ada/ada_backend.ml
- src/backends/Ada/ada_backend_adb.ml 32 additions, 8 deletionssrc/backends/Ada/ada_backend_adb.ml
- src/backends/Ada/ada_backend_ads.ml 55 additions, 23 deletionssrc/backends/Ada/ada_backend_ads.ml
- src/backends/Ada/ada_backend_common.ml 40 additions, 12 deletionssrc/backends/Ada/ada_backend_common.ml
- src/backends/Ada/ada_backend_wrapper.ml 61 additions, 24 deletionssrc/backends/Ada/ada_backend_wrapper.ml
- src/backends/Ada/ada_printer.ml 81 additions, 24 deletionssrc/backends/Ada/ada_printer.ml
- src/backends/C/c_backend.ml 6 additions, 6 deletionssrc/backends/C/c_backend.ml
- src/backends/C/c_backend_cmake.ml 14 additions, 6 deletionssrc/backends/C/c_backend_cmake.ml
- src/backends/C/c_backend_common.ml 496 additions, 95 deletionssrc/backends/C/c_backend_common.ml
- src/backends/C/c_backend_common.mli 18 additions, 10 deletionssrc/backends/C/c_backend_common.mli
- src/backends/C/c_backend_header.ml 153 additions, 169 deletionssrc/backends/C/c_backend_header.ml
- src/backends/C/c_backend_header.mli 7 additions, 3 deletionssrc/backends/C/c_backend_header.mli
- src/backends/C/c_backend_main.ml 444 additions, 292 deletionssrc/backends/C/c_backend_main.ml
- src/backends/C/c_backend_main.mli 9 additions, 2 deletionssrc/backends/C/c_backend_main.mli
- src/backends/C/c_backend_makefile.ml 19 additions, 7 deletionssrc/backends/C/c_backend_makefile.ml
- src/backends/C/c_backend_makefile.mli 1 addition, 1 deletionsrc/backends/C/c_backend_makefile.mli
- src/backends/C/c_backend_mauve.ml 33 additions, 11 deletionssrc/backends/C/c_backend_mauve.ml
Please register or sign in to comment