.gitlab-ci.yml

bin/build-src-distrib.sh

configure.in

doc/Makefile

ivette/ivette-macos.sh

man/frama-c.1

man/frama-c.1.md

share/Makefile.config.in

src/plugins/e-acsl/doc/Changelog

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

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

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

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

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

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

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

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

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

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

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