Changelog

VERSION

VERSION_CODENAME

bin/frama-c-build-scripts.sh

opam

reference-configuration.md

src/kernel_internals/typing/populate_spec.mli

src/kernel_services/ast_data/annotations.mli

src/kernel_services/ast_data/kernel_function.mli

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/cil_datatype.mli

src/kernel_services/parsetree/cabshelper.mli

src/libraries/project/state_builder.mli

src/libraries/qed/logic.ml

src/libraries/stdlib/extlib.mli

src/libraries/utils/filepath.mli

src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/src/libraries/interval_utils.mli

src/plugins/wp/Changelog

src/plugins/wp/cfgInfos.mli