ast modifs and additional arrow_taint phase to retrieve which arrow "protects"...
ast modifs and additional arrow_taint phase to retrieve which arrow "protects" / "taints" which variable
Showing
- offline_tests/test.ml 2 additions, 1 deletionoffline_tests/test.ml
- src/automata.ml 3 additions, 3 deletionssrc/automata.ml
- src/backends/Ada/ada_backend_adb.ml 2 additions, 3 deletionssrc/backends/Ada/ada_backend_adb.ml
- src/backends/Ada/ada_backend_ads.ml 2 additions, 2 deletionssrc/backends/Ada/ada_backend_ads.ml
- src/backends/Ada/misc_lustre_function.ml 1 addition, 1 deletionsrc/backends/Ada/misc_lustre_function.ml
- src/backends/C/c_backend_common.ml 9 additions, 7 deletionssrc/backends/C/c_backend_common.ml
- src/backends/C/c_backend_spec.ml 58 additions, 52 deletionssrc/backends/C/c_backend_spec.ml
- src/backends/C/c_backend_src.ml 4 additions, 3 deletionssrc/backends/C/c_backend_src.ml
- src/backends/EMF/EMF_backend.ml 1 addition, 1 deletionsrc/backends/EMF/EMF_backend.ml
- src/backends/Horn/horn_backend_common.ml 9 additions, 9 deletionssrc/backends/Horn/horn_backend_common.ml
- src/backends/Horn/horn_backend_traces.ml 1 addition, 1 deletionsrc/backends/Horn/horn_backend_traces.ml
- src/causality.ml 7 additions, 7 deletionssrc/causality.ml
- src/causality.mli 1 addition, 1 deletionsrc/causality.mli
- src/clock_calculus.ml 2 additions, 2 deletionssrc/clock_calculus.ml
- src/clocks.ml 28 additions, 7 deletionssrc/clocks.ml
- src/clocks.mli 2 additions, 0 deletionssrc/clocks.mli
- src/compiler_common.ml 4 additions, 3 deletionssrc/compiler_common.ml
- src/compiler_stages.ml 4 additions, 0 deletionssrc/compiler_stages.ml
- src/corelang.ml 31 additions, 3 deletionssrc/corelang.ml
- src/corelang.mli 2 additions, 0 deletionssrc/corelang.mli
Please register or sign in to comment