Merge branch 'fix/4.10' into 'master'

share/Makefile.common

src/kernel_services/ast_queries/logic_typing.ml

src/libraries/utils/hook.ml

src/libraries/utils/hook.mli

src/plugins/e-acsl/src/libraries/gmp_types.ml

src/plugins/inout/operational_inputs.ml

src/plugins/value/domains/domain_builder.ml

src/plugins/value/domains/unit_domain.ml

src/plugins/value/engine/iterator.ml

src/plugins/value/partitioning/trace_partitioning.ml

src/plugins/value/partitioning/trace_partitioning.mli

src/plugins/value/utils/structure.ml

src/plugins/value/utils/structure.mli

src/plugins/wp/Factory.ml

src/plugins/wp/LogicAssigns.ml

src/plugins/wp/LogicAssigns.mli