[from] From does not register stuff in db anymore
The only remaining mention to <Db.From> is in <eva/register.ml>. It looks like a circular dependency, but maybe we could tackle it later.
Showing
- src/kernel_services/plugin_entry_points/db.mli 3 additions, 0 deletionssrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/from/callwise.ml 11 additions, 16 deletionssrc/plugins/from/callwise.ml
- src/plugins/from/callwise.mli 4 additions, 3 deletionssrc/plugins/from/callwise.mli
- src/plugins/from/from.ml 41 additions, 0 deletionssrc/plugins/from/from.ml
- src/plugins/from/from.mli 40 additions, 0 deletionssrc/plugins/from/from.mli
- src/plugins/from/from_compute.ml 13 additions, 4 deletionssrc/plugins/from/from_compute.ml
- src/plugins/from/from_register.ml 5 additions, 15 deletionssrc/plugins/from/from_register.ml
- src/plugins/from/from_register.mli 3 additions, 2 deletionssrc/plugins/from/from_register.mli
- src/plugins/from/functionwise.ml 24 additions, 32 deletionssrc/plugins/from/functionwise.ml
- src/plugins/from/functionwise.mli 11 additions, 2 deletionssrc/plugins/from/functionwise.mli
- src/plugins/from/gui/from_register_gui.ml 2 additions, 2 deletionssrc/plugins/from/gui/from_register_gui.ml
- src/plugins/pdg/build.ml 7 additions, 7 deletionssrc/plugins/pdg/build.ml
- src/plugins/pdg/register.ml 1 addition, 1 deletionsrc/plugins/pdg/register.ml
- src/plugins/scope/zones.ml 3 additions, 3 deletionssrc/plugins/scope/zones.ml
- src/plugins/slicing/fct_slice.ml 1 addition, 1 deletionsrc/plugins/slicing/fct_slice.ml
- src/plugins/slicing/slicingCmds.ml 5 additions, 5 deletionssrc/plugins/slicing/slicingCmds.ml
- tests/pdg/dyn_dpds.ml 1 addition, 1 deletiontests/pdg/dyn_dpds.ml
Loading
Please register or sign in to comment