[Eva] Utils: new function to compute direct and indirect dependencies.
Needed by the From plugin.
Showing
- src/plugins/eva/Eva.mli 11 additions, 0 deletionssrc/plugins/eva/Eva.mli
- src/plugins/eva/utils/eva_utils.ml 27 additions, 10 deletionssrc/plugins/eva/utils/eva_utils.ml
- src/plugins/eva/utils/eva_utils.mli 11 additions, 0 deletionssrc/plugins/eva/utils/eva_utils.mli
- src/plugins/eva/utils/results.ml 9 additions, 0 deletionssrc/plugins/eva/utils/results.ml
- src/plugins/eva/utils/results.mli 11 additions, 0 deletionssrc/plugins/eva/utils/results.mli
Loading
Please register or sign in to comment