Merge branch 'feature/andre/z-to-int-opt' into 'master'

bin/migration_scripts/vanadium2chromium.sh

headers/header_spec.txt

src/kernel_internals/typing/cabs2cil.ml

src/kernel_internals/typing/unroll_loops.ml

src/kernel_services/abstract_interp/int_interval.ml

src/kernel_services/abstract_interp/int_set.ml

src/kernel_services/abstract_interp/int_val.ml

src/kernel_services/abstract_interp/ival.ml

src/kernel_services/analysis/bit_utils.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/logic_utils.ml

src/libraries/stdlib/integer.ml

src/libraries/stdlib/integer.mli

src/libraries/utils/floating_point.ml

src/plugins/aorai/aorai_eva_analysis.enabled.ml

src/plugins/aorai/data_for_aorai.ml

src/plugins/e-acsl/src/analyses/interval.ml

src/plugins/e-acsl/src/code_generator/translate.ml

src/plugins/e-acsl/src/project_initializer/prepare_ast.ml