[from] Do not export [find_deps_no_transitivity].
In plugins pdg, scope and slicing, directly uses the Eva API instead of this function.
Showing
- src/plugins/from/from.ml 0 additions, 3 deletionssrc/plugins/from/from.ml
- src/plugins/from/from.mli 0 additions, 2 deletionssrc/plugins/from/from.mli
- src/plugins/from/functionwise.ml 0 additions, 6 deletionssrc/plugins/from/functionwise.ml
- src/plugins/from/functionwise.mli 0 additions, 2 deletionssrc/plugins/from/functionwise.mli
- src/plugins/pdg/build.ml 4 additions, 4 deletionssrc/plugins/pdg/build.ml
- src/plugins/scope/zones.ml 1 addition, 1 deletionsrc/plugins/scope/zones.ml
- src/plugins/slicing/slicingCmds.ml 6 additions, 6 deletionssrc/plugins/slicing/slicingCmds.ml
- tests/pdg/dyn_dpds.ml 2 additions, 6 deletionstests/pdg/dyn_dpds.ml
Loading
Please register or sign in to comment