Merge branch 'feature/eva/summary' into 'master'

...analysis/tests/loop_analysis/oracle/with_value.res.oracle

src/plugins/nonterm/tests/test_config

src/plugins/report/tests/report/oracle/csv.res.oracle

src/plugins/value/engine/compute_functions.ml

src/plugins/value/utils/value_results.ml

src/plugins/value/utils/value_results.mli

src/plugins/value/value_parameters.ml

src/plugins/value/value_parameters.mli

src/plugins/variadic/tests/test_config

src/plugins/wp/tests/wp_acsl/oracle/checks.0.res.oracle

src/plugins/wp/tests/wp_plugin/removed.i

...racle/issue_55_iter_over_unregistered_function.res.oracle

tests/callgraph/oracle/no_fp_unsound_warning.0.res.oracle

tests/callgraph/oracle/no_fp_unsound_warning.1.res.oracle

tests/idct/diff_equalities

tests/idct/ieee_1180_1990.c

tests/idct/oracle/ieee_1180_1990.res.oracle

tests/impact/oracle/depend5.res.oracle

tests/journal/oracle/control.0.res.oracle

tests/journal/oracle/control.1.res.oracle