[Eva] api: Automatically generates Eva.mli
Showing
- Makefile 20 additions, 0 deletionsMakefile
- src/plugins/value/Eva.mli 165 additions, 36 deletionssrc/plugins/value/Eva.mli
- src/plugins/value/domains/cvalue/builtins.mli 2 additions, 0 deletionssrc/plugins/value/domains/cvalue/builtins.mli
- src/plugins/value/eva-api.sh 27 additions, 0 deletionssrc/plugins/value/eva-api.sh
- src/plugins/value/eval.mli 2 additions, 1 deletionsrc/plugins/value/eval.mli
- src/plugins/value/legacy/eval_terms.mli 15 additions, 3 deletionssrc/plugins/value/legacy/eval_terms.mli
- src/plugins/value/utils/eva_annotations.mli 16 additions, 7 deletionssrc/plugins/value/utils/eva_annotations.mli
- src/plugins/value/utils/results.mli 3 additions, 0 deletionssrc/plugins/value/utils/results.mli
- src/plugins/value/utils/unit_tests.mli 3 additions, 1 deletionsrc/plugins/value/utils/unit_tests.mli
- src/plugins/value/utils/value_results.mli 2 additions, 4 deletionssrc/plugins/value/utils/value_results.mli
- src/plugins/value/value_parameters.mli 8 additions, 5 deletionssrc/plugins/value/value_parameters.mli
Loading
Please register or sign in to comment