Fix/andre/doc duplicates

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

[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

Added to the user manual:
- float builtins acos, asin, atan
- wide-character string builtins wmemchr, wcschr, wcslen
- memory builtins memcpy, memset, memmove
- Frama_C_is_base_aligned and Frama_C_offset.

Removes a latex command to distinguish open-source and proprietary features,
as Eva is now entirely open-source.

[Eva] Fixes a crash on INFINITY with option -eva-all-rounding-modes-constants.

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

[Eva] avoid crash in -eva-flamegraph after reset

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

[Eva] Fixes a possible crash when reporting red statuses.

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

[wp] Print script name in TIP

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

[CI] add pipeline stage for Eva alternative configs

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

[Eva] Do not fail on recursive calls without specification.

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

[wp] Fixes assumes normalization

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

[Doc] add userman chapter about compliance

Closes #1007

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

Resolve "[Ivette] frama-c socket name must be short"

Closes #988

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