src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c

src/plugins/e-acsl/tests/gmp/cast.i

src/plugins/e-acsl/tests/gmp/oracle/gen_arith.c

src/plugins/e-acsl/tests/gmp/oracle/gen_comparison.c

src/plugins/e-acsl/tests/gmp/oracle/gen_integer_constant.c

src/plugins/e-acsl/tests/runtime/oracle/gen_block_length.c

...ugins/e-acsl/tests/runtime/oracle/gen_function_contract.c

src/plugins/e-acsl/tests/runtime/oracle/gen_lazy.c

src/plugins/e-acsl/tests/runtime/oracle/gen_literal_string.c

src/plugins/e-acsl/tests/runtime/oracle/gen_mainargs.c

src/plugins/e-acsl/tests/runtime/oracle/gen_memalign.c

src/plugins/e-acsl/tests/runtime/oracle/gen_offset.c

...plugins/e-acsl/tests/runtime/oracle/gen_other_constants.c

src/plugins/e-acsl/tests/runtime/oracle/gen_ptr.c

src/plugins/e-acsl/tests/runtime/oracle/gen_sizeof.c

src/plugins/e-acsl/tests/runtime/oracle/gen_stmt_contract.c

src/plugins/e-acsl/tests/runtime/oracle/gen_typedef.c

src/plugins/e-acsl/tests/special/oracle/gen_e-acsl-valid.c

src/plugins/e-acsl/tests/special/oracle/gen_e-acsl-valid2.c