Merge branch 'feature/cil-builder-reborn' into 'master'
Cil builder reborn See merge request frama-c/frama-c!3231
No related branches found
No related tags found
Showing
- Makefile 3 additions, 1 deletionMakefile
- headers/header_spec.txt 2 additions, 1 deletionheaders/header_spec.txt
- share/Makefile.common 1 addition, 0 deletionsshare/Makefile.common
- src/kernel_services/ast_building/cil_builder.ml 1251 additions, 0 deletionssrc/kernel_services/ast_building/cil_builder.ml
- src/kernel_services/ast_building/cil_builder.mli 331 additions, 0 deletionssrc/kernel_services/ast_building/cil_builder.mli
- src/plugins/e-acsl/tests/builtin/oracle_ci/gen_strcmp.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/builtin/oracle_ci/gen_strcmp.c
- src/plugins/e-acsl/tests/special/oracle_ci/gen_e-acsl-instrument.c 1 addition, 1 deletion...ns/e-acsl/tests/special/oracle_ci/gen_e-acsl-instrument.c
- src/plugins/variadic/Makefile.in 1 addition, 1 deletionsrc/plugins/variadic/Makefile.in
- src/plugins/variadic/generic.ml 29 additions, 34 deletionssrc/plugins/variadic/generic.ml
- src/plugins/variadic/standard.ml 137 additions, 203 deletionssrc/plugins/variadic/standard.ml
- src/plugins/variadic/tests/known/oracle/printf.res.oracle 22 additions, 22 deletionssrc/plugins/variadic/tests/known/oracle/printf.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_pointers.res.oracle 10 additions, 10 deletions...iadic/tests/known/oracle/printf_wrong_pointers.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_types.res.oracle 4 additions, 4 deletions...variadic/tests/known/oracle/printf_wrong_types.res.oracle
- src/plugins/variadic/tests/known/oracle/scanf.res.oracle 3 additions, 3 deletionssrc/plugins/variadic/tests/known/oracle/scanf.res.oracle
- src/plugins/variadic/tests/known/oracle/scanf_loop.res.oracle 2 additions, 2 deletions...plugins/variadic/tests/known/oracle/scanf_loop.res.oracle
- src/plugins/variadic/tests/known/oracle/scanf_wrong.res.oracle 3 additions, 3 deletions...lugins/variadic/tests/known/oracle/scanf_wrong.res.oracle
- src/plugins/variadic/tests/known/oracle/snprintf.res.oracle 7 additions, 7 deletionssrc/plugins/variadic/tests/known/oracle/snprintf.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_print.res.oracle 11 additions, 11 deletions...lugins/variadic/tests/known/oracle/stdio_print.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_scan.res.oracle 10 additions, 10 deletions...plugins/variadic/tests/known/oracle/stdio_scan.res.oracle
- src/plugins/variadic/tests/known/oracle/swprintf.res.oracle 7 additions, 7 deletionssrc/plugins/variadic/tests/known/oracle/swprintf.res.oracle
Loading
Please register or sign in to comment