Merge branch 'feature/eva/remove-pragma' into 'master'
[Eva] Removes support for widening pragmas. See merge request frama-c/frama-c!4581
No related branches found
No related tags found
Showing
- doc/eva/examples/parametrizing/pragma-widen-hints.c 0 additions, 9 deletionsdoc/eva/examples/parametrizing/pragma-widen-hints.c
- doc/eva/main.tex 1 addition, 23 deletionsdoc/eva/main.tex
- src/kernel_internals/parsing/logic_parser.mly 0 additions, 4 deletionssrc/kernel_internals/parsing/logic_parser.mly
- src/kernel_internals/typing/unroll_loops.ml 0 additions, 1 deletionsrc/kernel_internals/typing/unroll_loops.ml
- src/kernel_services/analysis/logic_deps.ml 1 addition, 3 deletionssrc/kernel_services/analysis/logic_deps.ml
- src/kernel_services/ast_data/cil_types.ml 0 additions, 2 deletionssrc/kernel_services/ast_data/cil_types.ml
- src/kernel_services/ast_printing/cil_printer.ml 0 additions, 6 deletionssrc/kernel_services/ast_printing/cil_printer.ml
- src/kernel_services/ast_printing/cil_types_debug.ml 0 additions, 4 deletionssrc/kernel_services/ast_printing/cil_types_debug.ml
- src/kernel_services/ast_printing/logic_print.ml 0 additions, 4 deletionssrc/kernel_services/ast_printing/logic_print.ml
- src/kernel_services/ast_queries/ast_diff.ml 1 addition, 5 deletionssrc/kernel_services/ast_queries/ast_diff.ml
- src/kernel_services/ast_queries/cil.ml 0 additions, 4 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/logic_typing.ml 0 additions, 20 deletionssrc/kernel_services/ast_queries/logic_typing.ml
- src/kernel_services/ast_queries/logic_utils.ml 1 addition, 4 deletionssrc/kernel_services/ast_queries/logic_utils.ml
- src/kernel_services/parsetree/logic_ptree.ml 0 additions, 2 deletionssrc/kernel_services/parsetree/logic_ptree.ml
- src/plugins/eva/utils/widen.ml 3 additions, 56 deletionssrc/plugins/eva/utils/widen.ml
- tests/slicing/loops.i 1 addition, 1 deletiontests/slicing/loops.i
- tests/slicing/oracle/adpcm.res.oracle 2 additions, 2 deletionstests/slicing/oracle/adpcm.res.oracle
- tests/slicing/oracle/loops.10.res.oracle 0 additions, 2 deletionstests/slicing/oracle/loops.10.res.oracle
- tests/slicing/oracle/loops.12.res.oracle 0 additions, 2 deletionstests/slicing/oracle/loops.12.res.oracle
- tests/slicing/oracle/loops.13.res.oracle 0 additions, 2 deletionstests/slicing/oracle/loops.13.res.oracle
Loading
Please register or sign in to comment