Merge branch 'feature/eva/garbled-mix-origin' into 'master'

share/analysis-scripts/analysis.mk

src/kernel_services/abstract_interp/cvalue.ml

src/kernel_services/abstract_interp/lmap.ml

src/kernel_services/abstract_interp/locations.ml

src/kernel_services/abstract_interp/locations.mli

src/kernel_services/abstract_interp/map_lattice.ml

src/kernel_services/abstract_interp/offsetmap.ml

src/kernel_services/abstract_interp/origin.ml

src/kernel_services/abstract_interp/origin.mli

src/kernel_services/abstract_interp/tr_offset.ml

src/kernel_services/abstract_interp/tr_offset.mli

src/libraries/project/state_builder.ml

src/libraries/project/state_builder.mli

src/plugins/dive/tests/dive/oracle/exceptional.res.oracle

...lugins/e-acsl/tests/bts/oracle/issue-eacsl-145.res.oracle

src/plugins/eva/domains/cvalue/builtins.ml

src/plugins/eva/domains/cvalue/builtins_memory.ml

src/plugins/eva/domains/cvalue/cvalue_domain.ml

src/plugins/eva/domains/cvalue/cvalue_init.ml

src/plugins/eva/domains/cvalue/cvalue_offsetmap.ml