Merge branch 'feature/eva/result-api' into 'master'
simplified and exportable API for accessing EVA results See merge request frama-c/frama-c!3084
No related branches found
No related tags found
Showing
- Makefile 21 additions, 1 deletionMakefile
- doc/developer/advance.tex 9 additions, 9 deletionsdoc/developer/advance.tex
- doc/developer/check_api/run.oracle 1 addition, 1 deletiondoc/developer/check_api/run.oracle
- doc/developer/tutorial/viewcfg/src/dump_function_memo_clear_cache.ml 1 addition, 1 deletion...er/tutorial/viewcfg/src/dump_function_memo_clear_cache.ml
- doc/developer/tutorial/viewcfg/src/print_cfg_vstmt_aux_value.ml 1 addition, 1 deletion...veloper/tutorial/viewcfg/src/print_cfg_vstmt_aux_value.ml
- doc/training/developer/project.tex 1 addition, 1 deletiondoc/training/developer/project.tex
- doc/training/developer/sources/basic_script.ml 1 addition, 1 deletiondoc/training/developer/sources/basic_script.ml
- doc/training/developer/sources/const_violation.ml 1 addition, 1 deletiondoc/training/developer/sources/const_violation.ml
- headers/header_spec.txt 4 additions, 1 deletionheaders/header_spec.txt
- src/plugins/aorai/aorai_eva_analysis.enabled.ml 1 addition, 1 deletionsrc/plugins/aorai/aorai_eva_analysis.enabled.ml
- src/plugins/constant_propagation/api.ml 5 additions, 5 deletionssrc/plugins/constant_propagation/api.ml
- src/plugins/dive/build.ml 10 additions, 16 deletionssrc/plugins/dive/build.ml
- src/plugins/dive/context.ml 1 addition, 1 deletionsrc/plugins/dive/context.ml
- src/plugins/dive/server_interface.ml 1 addition, 1 deletionsrc/plugins/dive/server_interface.ml
- src/plugins/impact/compute_impact.ml 4 additions, 4 deletionssrc/plugins/impact/compute_impact.ml
- src/plugins/impact/register_gui.ml 1 addition, 1 deletionsrc/plugins/impact/register_gui.ml
- src/plugins/inout/derefs.ml 1 addition, 1 deletionsrc/plugins/inout/derefs.ml
- src/plugins/inout/operational_inputs.ml 7 additions, 15 deletionssrc/plugins/inout/operational_inputs.ml
- src/plugins/inout/outputs.ml 4 additions, 5 deletionssrc/plugins/inout/outputs.ml
- src/plugins/inout/register.ml 1 addition, 1 deletionsrc/plugins/inout/register.ml
Loading
Please register or sign in to comment