Merge branch 'features/from/removing-db' into 'master'
From does not register stuff in db anymore See merge request frama-c/frama-c!3934
Showing
- src/kernel_services/plugin_entry_points/db.ml 0 additions, 25 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 3 additions, 36 deletionssrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/eva/Eva.mli 5 additions, 0 deletionssrc/plugins/eva/Eva.mli
- src/plugins/eva/legacy/logic_inout.ml 6 additions, 3 deletionssrc/plugins/eva/legacy/logic_inout.ml
- src/plugins/eva/legacy/logic_inout.mli 5 additions, 0 deletionssrc/plugins/eva/legacy/logic_inout.mli
- src/plugins/eva/register.ml 8 additions, 0 deletionssrc/plugins/eva/register.ml
- src/plugins/from/From.ml 38 additions, 0 deletionssrc/plugins/from/From.ml
- src/plugins/from/From.mli 47 additions, 0 deletionssrc/plugins/from/From.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_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 18 additions, 32 deletionssrc/plugins/from/functionwise.ml
- src/plugins/from/functionwise.mli 9 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
Loading
Please register or sign in to comment