Merge branch 'feature/eva/local-subdivision' into 'master'

Makefile

headers/header_spec.txt

src/plugins/value/engine/evaluation.ml

src/plugins/value/engine/evaluation.mli

src/plugins/value/engine/subdivided_evaluation.ml

src/plugins/value/engine/subdivided_evaluation.mli

src/plugins/value/engine/transfer_stmt.ml

src/plugins/value/partitioning/partition.ml

src/plugins/value/partitioning/partitioning_parameters.ml

src/plugins/value/partitioning/per_stmt_slevel.ml

src/plugins/value/utils/eva_annotations.ml

src/plugins/value/utils/eva_annotations.mli

src/plugins/value/utils/value_util.ml

src/plugins/value/utils/value_util.mli

src/plugins/value/value_parameters.ml

src/plugins/value/value_parameters.mli

tests/value/nonlin.c

tests/value/oracle/nonlin.res.oracle