.gitlab/issue_templates/bug_report.md

.gitlab/merge_request_templates/external_contribution.md

CLA.md

CLA.pdf

CONTRIBUTING.md

Changelog

TCA.md

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

src/plugins/e-acsl/tests/memory/ghost_parameters.i

...gins/e-acsl/tests/memory/oracle_ci/gen_ghost_parameters.c

...e-acsl/tests/memory/oracle_ci/ghost_parameters.res.oracle

src/plugins/wp/Lang.mli

src/plugins/wp/TacInstance.ml

src/plugins/wp/TacInstance.mli

src/plugins/wp/TacLemma.ml

src/plugins/wp/tests/wp_tip/TacNOP.ml