.git-blame-ignore-revs

ALL_VERSIONS

Changelog

VERSION

devel_tools/docker/Makefile

doc/Makefile

ivette/src/dome/renderer/layout/style.css

ivette/src/frama-c/plugins/eva/DomainStates.tsx

ivette/src/frama-c/plugins/eva/api/general/index.ts

ivette/src/frama-c/plugins/eva/index.tsx

ivette/src/frama-c/plugins/eva/style.css

nix/default.nix

src/kernel_services/abstract_interp/locations.ml

src/kernel_services/abstract_interp/locations.mli

src/kernel_services/ast_queries/cil.ml

src/kernel_services/plugin_entry_points/db.ml

src/kernel_services/plugin_entry_points/db.mli

src/plugins/e-acsl/doc/refman/Makefile

src/plugins/e-acsl/doc/userman/Makefile

src/plugins/impact/compute_impact.ml