[kernel] remove Inout from Db
Showing
- src/kernel_services/plugin_entry_points/db.ml 0 additions, 110 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 0 additions, 85 deletionssrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/eva/domains/cvalue/cvalue_domain.ml 1 addition, 1 deletionsrc/plugins/eva/domains/cvalue/cvalue_domain.ml
- src/plugins/eva/engine/transfer_stmt.ml 1 addition, 1 deletionsrc/plugins/eva/engine/transfer_stmt.ml
- src/plugins/eva/gui/register_gui.ml 4 additions, 4 deletionssrc/plugins/eva/gui/register_gui.ml
- src/plugins/eva/utils/inout.ml 48 additions, 0 deletionssrc/plugins/eva/utils/inout.ml
- src/plugins/eva/utils/inout.mli 51 additions, 0 deletionssrc/plugins/eva/utils/inout.mli
- src/plugins/eva/utils/private.ml 1 addition, 0 deletionssrc/plugins/eva/utils/private.ml
- src/plugins/eva/utils/private.mli 1 addition, 0 deletionssrc/plugins/eva/utils/private.mli
- src/plugins/impact/pdg_aux.ml 1 addition, 1 deletionsrc/plugins/impact/pdg_aux.ml
- src/plugins/inout/derefs.ml 0 additions, 9 deletionssrc/plugins/inout/derefs.ml
- src/plugins/inout/inputs.ml 6 additions, 12 deletionssrc/plugins/inout/inputs.ml
- src/plugins/inout/inputs.mli 8 additions, 0 deletionssrc/plugins/inout/inputs.mli
- src/plugins/inout/operational_inputs.ml 23 additions, 14 deletionssrc/plugins/inout/operational_inputs.ml
- src/plugins/inout/operational_inputs.mli 6 additions, 0 deletionssrc/plugins/inout/operational_inputs.mli
- src/plugins/inout/outputs.ml 7 additions, 8 deletionssrc/plugins/inout/outputs.ml
- src/plugins/inout/outputs.mli 6 additions, 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/dune 2 additions, 1 deletionsrc/plugins/slicing/dune
Loading
Please register or sign in to comment