Changelog

VERSION

VERSION_CODENAME

doc/developer/changes.tex

doc/userman/user-changes.tex

opam

src/kernel_services/analysis/interpreted_automata.mli

src/kernel_services/ast_data/annotations.mli

src/kernel_services/ast_data/cil_types.ml

src/kernel_services/ast_data/globals.mli

src/kernel_services/ast_data/property_status.mli

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/cil_datatype.mli

src/kernel_services/ast_queries/logic_typing.mli

src/kernel_services/ast_queries/logic_utils.mli

src/kernel_services/plugin_entry_points/kernel.mli

src/libraries/project/state_builder.mli

src/plugins/e-acsl/doc/Changelog

src/plugins/wp/Changelog

tools/hdrck/frama-c-hdrck.opam