-
- Downloads
Merge branch 'feature/thibaut/functions-label-here' into 'master'
Add support for labeled function with the label `Here` See merge request frama-c/frama-c!3948
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/src/code_generator/assigns.ml 2 additions, 2 deletionssrc/plugins/e-acsl/src/code_generator/assigns.ml
- src/plugins/e-acsl/src/code_generator/logic_functions.ml 22 additions, 7 deletionssrc/plugins/e-acsl/src/code_generator/logic_functions.ml
- src/plugins/e-acsl/src/code_generator/translate_predicates.ml 3 additions, 2 deletions...plugins/e-acsl/src/code_generator/translate_predicates.ml
- src/plugins/e-acsl/src/code_generator/translate_terms.ml 2 additions, 1 deletionsrc/plugins/e-acsl/src/code_generator/translate_terms.ml
- src/plugins/e-acsl/tests/arith/functions.c 11 additions, 5 deletionssrc/plugins/e-acsl/tests/arith/functions.c
- src/plugins/e-acsl/tests/arith/oracle/functions.res.oracle 26 additions, 26 deletionssrc/plugins/e-acsl/tests/arith/oracle/functions.res.oracle
- src/plugins/e-acsl/tests/arith/oracle/gen_functions.c 102 additions, 17 deletionssrc/plugins/e-acsl/tests/arith/oracle/gen_functions.c
- src/plugins/e-acsl/tests/bts/oracle/bts2252.res.oracle 3 additions, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts2252.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/issue-eacsl-40.res.oracle 6 additions, 2 deletions...plugins/e-acsl/tests/bts/oracle/issue-eacsl-40.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle 13 additions, 5 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle 13 additions, 5 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle 13 additions, 5 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle
- src/plugins/e-acsl/tests/concurrency/oracle/parallel_threads.res.oracle 4 additions, 1 deletion...acsl/tests/concurrency/oracle/parallel_threads.res.oracle
- src/plugins/e-acsl/tests/concurrency/oracle/threads_debug.res.oracle 4 additions, 1 deletion.../e-acsl/tests/concurrency/oracle/threads_debug.res.oracle
- src/plugins/e-acsl/tests/examples/oracle/functions_contiki.res.oracle 2 additions, 0 deletions...e-acsl/tests/examples/oracle/functions_contiki.res.oracle
- src/plugins/e-acsl/tests/format/oracle/printf.res.oracle 10 additions, 4 deletionssrc/plugins/e-acsl/tests/format/oracle/printf.res.oracle
- src/plugins/e-acsl/tests/libc/oracle/file.res.oracle 6 additions, 2 deletionssrc/plugins/e-acsl/tests/libc/oracle/file.res.oracle
- src/plugins/e-acsl/tests/libc/oracle/mem.res.oracle 4 additions, 0 deletionssrc/plugins/e-acsl/tests/libc/oracle/mem.res.oracle
- src/plugins/e-acsl/tests/libc/oracle/str.res.oracle 20 additions, 8 deletionssrc/plugins/e-acsl/tests/libc/oracle/str.res.oracle
- src/plugins/e-acsl/tests/memory/oracle/mainargs.res.oracle 4 additions, 1 deletionsrc/plugins/e-acsl/tests/memory/oracle/mainargs.res.oracle
Loading
Please register or sign in to comment