GitLab

[Eva] Retroactively updates the Changelog for Eva.

See merge request frama-c/frama-c!3299

[e-ascl] Preprocessing phase for quantifiers

Closes e-acsl#149

See merge request frama-c/frama-c!3168

[Makefile] replace shell scripts with more efficient OCaml-based ones

See merge request frama-c/frama-c!3283

No need to duplicate filenames in two variables.

[Eva] Minor simplifications following the rewriting of Hptmap shapes.

See merge request frama-c/frama-c!3298

[Variadic] Fix a bug where a specification were generated for a variable without a name

Closes #1060

See merge request frama-c/frama-c!3277

[Ivette] New columns in the property table for "red" alarms and tainted properties

See merge request frama-c/frama-c!3286

most differences in Eva oracles come from the fact that now anonymous arguments are taken into
account when generating default assigns for prototypes with empty specs.