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'.

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.