[cabs] Add attributes in NOP statement for GCC

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

For now we ignore "unused" label attribute, because the current mecanism
does not support different attributes with the same name : "unused" can
be a label attribute or a function attribute.

[e-acsl] modify Changelog entry to avoid confusion

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

[Eva] No alarms emitted on pointer conversions to intptr_t or uintptr_t.

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

David Bühler authored 6 months ago and Virgile Prevosto committed 4 months ago

Such conversions are always valid for valid object pointers.

[wp] do not generate assert false for present generalized variants

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

The old message might be misinterpreted in the sense of axiomatic
specification being supported by E-ACSL.

[Variadic] fix field width support for %c and %p

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

Do not consider unknown attributes when comparing types for equality

Closes #1396

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

also add `@since` and `@before` odoc tags

[wp] Why3 importer

Closes #978 and #1262

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