Merge branch 'feature/dune/removes-pdg-types-from-db' into 'feature/bobot/jbuilder'
Removes Db.Pdg See merge request frama-c/frama-c!3828
No related branches found
No related tags found
Showing
- .git-blame-ignore-revs 1 addition, 0 deletions.git-blame-ignore-revs
- src/kernel_services/plugin_entry_points/db.ml 0 additions, 80 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 0 additions, 323 deletionssrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/impact/compute_impact.ml 20 additions, 17 deletionssrc/plugins/impact/compute_impact.ml
- src/plugins/impact/compute_impact.mli 2 additions, 0 deletionssrc/plugins/impact/compute_impact.mli
- src/plugins/impact/dune 2 additions, 1 deletionsrc/plugins/impact/dune
- src/plugins/impact/gui/dune 1 addition, 1 deletionsrc/plugins/impact/gui/dune
- src/plugins/impact/gui/register_gui.ml 4 additions, 4 deletionssrc/plugins/impact/gui/register_gui.ml
- src/plugins/impact/pdg_aux.ml 3 additions, 3 deletionssrc/plugins/impact/pdg_aux.ml
- src/plugins/impact/pdg_aux.mli 7 additions, 6 deletionssrc/plugins/impact/pdg_aux.mli
- src/plugins/impact/reason_graph.ml 3 additions, 1 deletionsrc/plugins/impact/reason_graph.ml
- src/plugins/impact/reason_graph.mli 2 additions, 0 deletionssrc/plugins/impact/reason_graph.mli
- src/plugins/impact/register.ml 2 additions, 0 deletionssrc/plugins/impact/register.ml
- src/plugins/impact/register.mli 2 additions, 0 deletionssrc/plugins/impact/register.mli
- src/plugins/pdg/Pdg.ml 2 additions, 3 deletionssrc/plugins/pdg/Pdg.ml
- src/plugins/pdg/Pdg.mli 2 additions, 3 deletionssrc/plugins/pdg/Pdg.mli
- src/plugins/pdg/annot.ml 6 additions, 4 deletionssrc/plugins/pdg/annot.ml
- src/plugins/pdg/annot.mli 2 additions, 0 deletionssrc/plugins/pdg/annot.mli
- src/plugins/pdg/api.ml 113 additions, 0 deletionssrc/plugins/pdg/api.ml
- src/plugins/pdg/api.mli 352 additions, 0 deletionssrc/plugins/pdg/api.mli
Loading
Please register or sign in to comment