[Eva] Slightly changes API of domain store.
[register_initial_state] now takes the kernel_function as argument. This avoids using [Callstacks.top_kf] in the store.
Showing
- src/kernel_services/plugin_entry_points/db.ml 1 addition, 2 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 1 addition, 1 deletionsrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/eva/domains/cvalue/cvalue_domain.ml 2 additions, 2 deletionssrc/plugins/eva/domains/cvalue/cvalue_domain.ml
- src/plugins/eva/domains/domain_builder.ml 2 additions, 2 deletionssrc/plugins/eva/domains/domain_builder.ml
- src/plugins/eva/domains/domain_product.ml 3 additions, 3 deletionssrc/plugins/eva/domains/domain_product.ml
- src/plugins/eva/domains/domain_store.ml 2 additions, 3 deletionssrc/plugins/eva/domains/domain_store.ml
- src/plugins/eva/domains/domain_store.mli 1 addition, 1 deletionsrc/plugins/eva/domains/domain_store.mli
- src/plugins/eva/engine/compute_functions.ml 3 additions, 3 deletionssrc/plugins/eva/engine/compute_functions.ml
- src/plugins/eva/engine/transfer_stmt.ml 1 addition, 1 deletionsrc/plugins/eva/engine/transfer_stmt.ml
- src/plugins/eva/utils/eva_results.ml 2 additions, 2 deletionssrc/plugins/eva/utils/eva_results.ml
Loading
Please register or sign in to comment