[Eva] Generalize the callstack type to include global initialization
Showing
- src/dune 2 additions, 1 deletionsrc/dune
- src/kernel_services/abstract_interp/eva_types.ml 104 additions, 48 deletionssrc/kernel_services/abstract_interp/eva_types.ml
- src/kernel_services/abstract_interp/eva_types.mli 11 additions, 2 deletionssrc/kernel_services/abstract_interp/eva_types.mli
- src/plugins/eva/Eva.mli 11 additions, 3 deletionssrc/plugins/eva/Eva.mli
- src/plugins/eva/api/values_request.ml 13 additions, 10 deletionssrc/plugins/eva/api/values_request.ml
- src/plugins/eva/engine/compute_functions.ml 3 additions, 2 deletionssrc/plugins/eva/engine/compute_functions.ml
- src/plugins/eva/engine/initialization.ml 14 additions, 8 deletionssrc/plugins/eva/engine/initialization.ml
- src/plugins/eva/types/callstack.mli 11 additions, 3 deletionssrc/plugins/eva/types/callstack.mli
- src/plugins/eva/utils/eva_utils.ml 8 additions, 2 deletionssrc/plugins/eva/utils/eva_utils.ml
- src/plugins/eva/utils/results.ml 1 addition, 1 deletionsrc/plugins/eva/utils/results.ml
Loading
Please register or sign in to comment