[Eva] Eva_utils: slightly changes API to modify the current callstack.
Replaces [set_call_stack] by [init_call_stack]. Removes [legacy_call_stack], which is never used. Comments all function in the interface.
Showing
- src/plugins/eva/engine/compute_functions.ml 1 addition, 3 deletionssrc/plugins/eva/engine/compute_functions.ml
- src/plugins/eva/utils/eva_utils.ml 8 additions, 10 deletionssrc/plugins/eva/utils/eva_utils.ml
- src/plugins/eva/utils/eva_utils.mli 19 additions, 4 deletionssrc/plugins/eva/utils/eva_utils.mli
Loading
Please register or sign in to comment