[Ptests] simplifies macro expansion

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

[Eva] Adds support for ACSL predicate is_infinite.

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

Adds functions [is_infinite] and [backward_is_infinite] in float_interval.

[E-ACSL][refman] first major upgrade since the origin independently from propagating ACSL evolutions

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

[Eva] Manual: adds a list and a short description of all abstract domains.

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

David Bühler authored 3 years ago and Andre Maroneze committed 3 years ago

At the beginning of the section about analysis domains.
Removes the figure of domains log categories in section 'displaying the
entire memory state'.

[Distrib] Update Windows instructions

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

[MdR] proper error message with missing -mdr-out

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

[Eva] Documents more builtins in the user manual.

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

[Eva] avoid crash in -eva-audit due to malformed JSON file

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