Merge branch 'feature/eva/remove-db-evaluation' into 'master'
[Eva] Remove all evaluation functions from deprecated module Db.Value See merge request frama-c/frama-c!4262
No related branches found
No related tags found
Showing
- src/kernel_services/plugin_entry_points/db.ml 0 additions, 39 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/builtins_misc.ml 9 additions, 4 deletionssrc/plugins/eva/domains/cvalue/builtins_misc.ml
- src/plugins/eva/domains/cvalue/builtins_split.ml 1 addition, 1 deletionsrc/plugins/eva/domains/cvalue/builtins_split.ml
- src/plugins/eva/domains/cvalue/cvalue_domain.ml 45 additions, 174 deletionssrc/plugins/eva/domains/cvalue/cvalue_domain.ml
- src/plugins/eva/domains/cvalue/cvalue_queries.ml 184 additions, 0 deletionssrc/plugins/eva/domains/cvalue/cvalue_queries.ml
- src/plugins/eva/domains/cvalue/cvalue_queries.mli 14 additions, 5 deletionssrc/plugins/eva/domains/cvalue/cvalue_queries.mli
- src/plugins/eva/domains/cvalue/locals_scoping.ml 2 additions, 2 deletionssrc/plugins/eva/domains/cvalue/locals_scoping.ml
- src/plugins/eva/domains/cvalue/locals_scoping.mli 1 addition, 1 deletionsrc/plugins/eva/domains/cvalue/locals_scoping.mli
- src/plugins/eva/engine/analysis.ml 17 additions, 5 deletionssrc/plugins/eva/engine/analysis.ml
- src/plugins/eva/engine/analysis.mli 0 additions, 3 deletionssrc/plugins/eva/engine/analysis.mli
- src/plugins/eva/register.ml 0 additions, 367 deletionssrc/plugins/eva/register.ml
- src/plugins/eva/utils/widen.ml 1 addition, 1 deletionsrc/plugins/eva/utils/widen.ml
Loading
Please register or sign in to comment