[Eva] Removes functions about the initial state of the analysis from Db.Value.
Adds functions to modify the initial cvalue state in Eva_results; they are only used by Mthread.
Showing
- src/kernel_services/plugin_entry_points/db.ml 1 addition, 58 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 0 additions, 52 deletionssrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/eva/Eva.mli 20 additions, 3 deletionssrc/plugins/eva/Eva.mli
- src/plugins/eva/engine/analysis.mli 0 additions, 3 deletionssrc/plugins/eva/engine/analysis.mli
- src/plugins/eva/engine/initialization.ml 7 additions, 4 deletionssrc/plugins/eva/engine/initialization.ml
- src/plugins/eva/parameters.ml 7 additions, 10 deletionssrc/plugins/eva/parameters.ml
- src/plugins/eva/parameters.mli 8 additions, 1 deletionsrc/plugins/eva/parameters.mli
- src/plugins/eva/utils/eva_results.ml 50 additions, 3 deletionssrc/plugins/eva/utils/eva_results.ml
- src/plugins/eva/utils/eva_results.mli 26 additions, 1 deletionsrc/plugins/eva/utils/eva_results.mli
Loading
Please register or sign in to comment