Merge branch 'feature/aorai/for-eva' into 'master'
Aorai for Eva Analyses See merge request frama-c/frama-c!2952
No related branches found
No related tags found
Showing
- .Makefile.lint 0 additions, 2 deletions.Makefile.lint
- doc/aorai/main.tex 64 additions, 50 deletionsdoc/aorai/main.tex
- headers/header_spec.txt 3 additions, 0 deletionsheaders/header_spec.txt
- src/kernel_services/ast_data/property.ml 266 additions, 133 deletionssrc/kernel_services/ast_data/property.ml
- src/kernel_services/ast_data/property.mli 12 additions, 0 deletionssrc/kernel_services/ast_data/property.mli
- src/kernel_services/ast_data/property_status.ml 2 additions, 1 deletionsrc/kernel_services/ast_data/property_status.ml
- src/kernel_services/ast_data/property_status.mli 12 additions, 3 deletionssrc/kernel_services/ast_data/property_status.mli
- src/kernel_services/ast_queries/cil.ml 3 additions, 1 deletionsrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil_builtins.ml 9 additions, 1 deletionsrc/kernel_services/ast_queries/cil_builtins.ml
- src/kernel_services/ast_queries/cil_builtins.mli 10 additions, 1 deletionsrc/kernel_services/ast_queries/cil_builtins.mli
- src/plugins/aorai/.gitignore 1 addition, 0 deletionssrc/plugins/aorai/.gitignore
- src/plugins/aorai/Makefile.in 25 additions, 1 deletionsrc/plugins/aorai/Makefile.in
- src/plugins/aorai/aorai_dataflow.ml 58 additions, 30 deletionssrc/plugins/aorai/aorai_dataflow.ml
- src/plugins/aorai/aorai_eva_analysis.disabled.ml 26 additions, 0 deletionssrc/plugins/aorai/aorai_eva_analysis.disabled.ml
- src/plugins/aorai/aorai_eva_analysis.enabled.ml 97 additions, 0 deletionssrc/plugins/aorai/aorai_eva_analysis.enabled.ml
- src/plugins/aorai/aorai_eva_analysis.mli 26 additions, 0 deletionssrc/plugins/aorai/aorai_eva_analysis.mli
- src/plugins/aorai/aorai_option.ml 103 additions, 91 deletionssrc/plugins/aorai/aorai_option.ml
- src/plugins/aorai/aorai_option.mli 11 additions, 3 deletionssrc/plugins/aorai/aorai_option.mli
- src/plugins/aorai/aorai_register.ml 70 additions, 125 deletionssrc/plugins/aorai/aorai_register.ml
- src/plugins/aorai/aorai_utils.ml 105 additions, 97 deletionssrc/plugins/aorai/aorai_utils.ml
Loading
Please register or sign in to comment