Merge branch 'fix/virgile/ghost-local-capture' into 'master'
Better handling of local ghost variables See merge request frama-c/frama-c!2410
No related branches found
No related tags found
Showing
- .Makefile.lint 0 additions, 3 deletions.Makefile.lint
- src/kernel_internals/parsing/cparser.mly 21 additions, 15 deletionssrc/kernel_internals/parsing/cparser.mly
- src/kernel_internals/typing/cabs2cil.ml 202 additions, 164 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_internals/typing/infer_annotations.ml 3 additions, 2 deletionssrc/kernel_internals/typing/infer_annotations.ml
- src/kernel_services/ast_queries/cil.ml 13 additions, 10 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 12 additions, 6 deletionssrc/kernel_services/ast_queries/cil.mli
- src/plugins/aorai/aorai_utils.ml 799 additions, 796 deletionssrc/plugins/aorai/aorai_utils.ml
- src/plugins/aorai/aorai_utils.mli 9 additions, 9 deletionssrc/plugins/aorai/aorai_utils.mli
- src/plugins/aorai/aorai_visitors.ml 475 additions, 475 deletionssrc/plugins/aorai/aorai_visitors.ml
- src/plugins/aorai/tests/aorai/oracle/assigns.0.res.oracle 224 additions, 212 deletionssrc/plugins/aorai/tests/aorai/oracle/assigns.0.res.oracle
- src/plugins/aorai/tests/aorai/oracle/assigns.1.res.oracle 154 additions, 142 deletionssrc/plugins/aorai/tests/aorai/oracle/assigns.1.res.oracle
- src/plugins/aorai/tests/aorai/oracle/bts1289.0.res.oracle 87 additions, 75 deletionssrc/plugins/aorai/tests/aorai/oracle/bts1289.0.res.oracle
- src/plugins/aorai/tests/aorai/oracle/bts1289.1.res.oracle 239 additions, 227 deletionssrc/plugins/aorai/tests/aorai/oracle/bts1289.1.res.oracle
- src/plugins/aorai/tests/aorai/oracle/declared_function.res.oracle 53 additions, 47 deletions...ins/aorai/tests/aorai/oracle/declared_function.res.oracle
- src/plugins/aorai/tests/aorai/oracle/deterministic.res.oracle 406 additions, 382 deletions...plugins/aorai/tests/aorai/oracle/deterministic.res.oracle
- src/plugins/aorai/tests/aorai/oracle/formals.res.oracle 392 additions, 370 deletionssrc/plugins/aorai/tests/aorai/oracle/formals.res.oracle
- src/plugins/aorai/tests/aorai/oracle/generate_assigns_bts1290.res.oracle 54 additions, 48 deletions...ai/tests/aorai/oracle/generate_assigns_bts1290.res.oracle
- src/plugins/aorai/tests/aorai/oracle/goto.res.oracle 555 additions, 531 deletionssrc/plugins/aorai/tests/aorai/oracle/goto.res.oracle
- src/plugins/aorai/tests/aorai/oracle/hoare_seq.res.oracle 342 additions, 329 deletionssrc/plugins/aorai/tests/aorai/oracle/hoare_seq.res.oracle
- src/plugins/aorai/tests/aorai/oracle/incorrect.res.oracle 41 additions, 35 deletionssrc/plugins/aorai/tests/aorai/oracle/incorrect.res.oracle
Loading
Please register or sign in to comment