Merge branch 'feature/andre/deprecate-option-c11' into 'master'
Feature/andre/deprecate option c11 Closes #1216 See merge request frama-c/frama-c!4084
Showing
- doc/userman/user-changes.tex 5 additions, 4 deletionsdoc/userman/user-changes.tex
- doc/userman/user-sources.tex 7 additions, 18 deletionsdoc/userman/user-sources.tex
- man/frama-c.1 1 addition, 5 deletionsman/frama-c.1
- man/frama-c.1.md 1 addition, 5 deletionsman/frama-c.1.md
- share/analysis-scripts/estimate_difficulty.py 0 additions, 1 deletionshare/analysis-scripts/estimate_difficulty.py
- share/libc/stdnoreturn.h 0 additions, 3 deletionsshare/libc/stdnoreturn.h
- src/kernel_internals/parsing/clexer.mll 8 additions, 32 deletionssrc/kernel_internals/parsing/clexer.mll
- src/kernel_internals/typing/cabs2cil.ml 9 additions, 12 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/plugin_entry_points/kernel.ml 10 additions, 1 deletionsrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/kernel.mli 3 additions, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.mli
- src/plugins/e-acsl/scripts/e-acsl-gcc.sh 1 addition, 1 deletionsrc/plugins/e-acsl/scripts/e-acsl-gcc.sh
- src/plugins/e-acsl/tests/bts/issue-eacsl-40.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/issue-eacsl-40.c
- src/plugins/variadic/tests/defined/simple.c 2 additions, 2 deletionssrc/plugins/variadic/tests/defined/simple.c
- tests/libc/stdnoreturn_h.c 1 addition, 1 deletiontests/libc/stdnoreturn_h.c
- tests/misc/oracle/audit-out.json 1 addition, 1 deletiontests/misc/oracle/audit-out.json
- tests/rte/invalid_fptr.i 1 addition, 1 deletiontests/rte/invalid_fptr.i
- tests/syntax/anonymous_comp_init.i 1 addition, 1 deletiontests/syntax/anonymous_comp_init.i
- tests/syntax/bts0769.i 1 addition, 1 deletiontests/syntax/bts0769.i
- tests/syntax/built.i 1 addition, 1 deletiontests/syntax/built.i
- tests/syntax/generic.c 10 additions, 10 deletionstests/syntax/generic.c
Loading
Please register or sign in to comment