Changelog

src/kernel_internals/typing/cabs2cil.ml

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/cil_datatype.ml

src/kernel_services/ast_queries/cil_datatype.mli

src/kernel_services/plugin_entry_points/kernel.ml

src/kernel_services/plugin_entry_points/kernel.mli

src/plugins/aorai/tests/ya/oracle/test_recursion4.res.oracle

src/plugins/aorai/tests/ya/test_recursion4.c

src/plugins/e-acsl/doc/userman/examples/instrumented_first.c

src/plugins/variadic/format_parser.ml

src/plugins/variadic/tests/known/oracle/printf.res.oracle

src/plugins/variadic/tests/known/oracle/scanf.0.res.oracle

src/plugins/variadic/tests/known/oracle/scanf.1.res.oracle

src/plugins/variadic/tests/known/printf.c

src/plugins/variadic/tests/known/scanf.c

src/plugins/wp/cfgAnnot.ml

...ns/wp/tests/wp_acsl/oracle/terminates_formulae.res.oracle