[inout] Uses new Eva API instead of Db.Value.
Showing
- src/plugins/inout/cumulative_analysis.mli 2 additions, 2 deletionssrc/plugins/inout/cumulative_analysis.mli
- src/plugins/inout/derefs.ml 2 additions, 4 deletionssrc/plugins/inout/derefs.ml
- src/plugins/inout/inputs.ml 30 additions, 47 deletionssrc/plugins/inout/inputs.ml
- src/plugins/inout/operational_inputs.ml 39 additions, 56 deletionssrc/plugins/inout/operational_inputs.ml
- src/plugins/inout/outputs.ml 25 additions, 28 deletionssrc/plugins/inout/outputs.ml
- src/plugins/inout/register.ml 1 addition, 1 deletionsrc/plugins/inout/register.ml
Loading
Please register or sign in to comment