Merge branch 'feature/eva/interprocedural-trace-partitioning' into 'stable/chromium'

Makefile

src/kernel_services/analysis/interpreted_automata.ml

src/plugins/value/engine/compute_functions.ml

src/plugins/value/engine/iterator.ml

src/plugins/value/engine/iterator.mli

src/plugins/value/engine/mem_exec.ml

src/plugins/value/engine/mem_exec.mli

src/plugins/value/engine/transfer_specification.ml

src/plugins/value/engine/transfer_specification.mli

src/plugins/value/engine/transfer_stmt.ml

src/plugins/value/engine/transfer_stmt.mli

src/plugins/value/partitioning/partition.ml

src/plugins/value/partitioning/partition.mli

src/plugins/value/partitioning/partitioning_parameters.ml

src/plugins/value/partitioning/partitioning_parameters.mli

src/plugins/value/partitioning/trace_partitioning.ml

src/plugins/value/partitioning/trace_partitioning.mli

src/plugins/value/value_parameters.ml

src/plugins/value/value_parameters.mli

tests/misc/oracle/interpreted_automata_dataflow_backward.dot