bin/migration_scripts/manganese2iron.sh

src/kernel_services/abstract_interp/int_Base.ml

src/kernel_services/ast_queries/acsl_extension.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/ast_queries/logic_utils.ml

src/kernel_services/ast_transformations/inline.ml

src/kernel_services/cmdline_parameters/parameter_builder.ml

src/kernel_services/visitors/visitor.ml

src/kernel_services/visitors/visitor_behavior.ml

src/libraries/datatype/datatype.ml

src/libraries/stdlib/extlib.ml

src/libraries/stdlib/extlib.mli

src/libraries/utils/floating_point.ml

src/plugins/aorai/aorai_dataflow.ml

src/plugins/eva/legacy/eval_terms.ml

src/plugins/instantiate/string/memcmp.ml

src/plugins/instantiate/string/memcpy.ml

src/plugins/instantiate/string/memmove.ml

src/plugins/instantiate/tests/plugin/needs_global.ml