[Inout] Changes and documents external API.
Showing
- src/plugins/impact/pdg_aux.ml 1 addition, 3 deletionssrc/plugins/impact/pdg_aux.ml
- src/plugins/inout/Inout.ml 36 additions, 0 deletionssrc/plugins/inout/Inout.ml
- src/plugins/inout/Inout.mli 56 additions, 0 deletionssrc/plugins/inout/Inout.mli
- src/plugins/inout/outputs.mli 1 addition, 0 deletionssrc/plugins/inout/outputs.mli
- src/plugins/reduc/collect.ml 1 addition, 1 deletionsrc/plugins/reduc/collect.ml
- src/plugins/scope/datascope.ml 1 addition, 1 deletionsrc/plugins/scope/datascope.ml
- src/plugins/slicing/fct_slice.ml 2 additions, 2 deletionssrc/plugins/slicing/fct_slice.ml
- src/plugins/slicing/slicingCmds.ml 3 additions, 3 deletionssrc/plugins/slicing/slicingCmds.ml
- src/plugins/slicing/slicingState.ml 1 addition, 1 deletionsrc/plugins/slicing/slicingState.ml
- src/plugins/sparecode/globs.ml 1 addition, 1 deletionsrc/plugins/sparecode/globs.ml
- src/plugins/sparecode/register.ml 1 addition, 1 deletionsrc/plugins/sparecode/register.ml
- src/plugins/sparecode/spare_marks.ml 1 addition, 1 deletionsrc/plugins/sparecode/spare_marks.ml
- src/plugins/studia/reads.ml 6 additions, 6 deletionssrc/plugins/studia/reads.ml
- src/plugins/studia/writes.ml 4 additions, 4 deletionssrc/plugins/studia/writes.ml
- tests/slicing/simple_intra_slice.ml 1 addition, 1 deletiontests/slicing/simple_intra_slice.ml
Loading
Please register or sign in to comment