src/plugins/e-acsl/src/analyses/logic_normalizer.ml

src/plugins/e-acsl/src/analyses/typing.ml

src/plugins/e-acsl/src/code_generator/logic_functions.ml

src/plugins/e-acsl/src/code_generator/logic_functions.mli

src/plugins/e-acsl/src/code_generator/loops.ml

src/plugins/e-acsl/src/code_generator/quantif.ml

src/plugins/e-acsl/src/code_generator/translate.ml

src/plugins/e-acsl/tests/bts/oracle/bts2252.res.oracle

...plugins/e-acsl/tests/bts/oracle/issue-eacsl-40.res.oracle

src/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle

src/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle

src/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle

...e-acsl/tests/examples/oracle/functions_contiki.res.oracle

src/plugins/e-acsl/tests/format/oracle/printf.res.oracle

src/plugins/e-acsl/tests/libc/oracle/file.res.oracle

src/plugins/e-acsl/tests/libc/oracle/mem.res.oracle

src/plugins/e-acsl/tests/libc/oracle/str.res.oracle

src/plugins/e-acsl/tests/memory/oracle/mainargs.res.oracle

src/plugins/e-acsl/tests/memory/oracle/memalign.res.oracle

src/plugins/e-acsl/tests/temporal/oracle/t_getenv.res.oracle