attributes that are completely internal to Frama-C and do not have any impact
on the semantics of the underlying value should not lead to a cast node.

[Eva] Removes Eva.mli from git, as it is now generated from other mli files.

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

[Eva] Results: exports function [is_singleton].

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

[Aorai] support observables also in generated specs

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

[wp/tests] combined.ml

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

[kernel] Fixes link issue for typedef'd struct

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

[wp] detailed chunk printer

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

even with -aorai-no-generate-annotations: acceptance condition is not
an auxiliary annotation.

and remove some nearly duplicated code

... even if it already has an entry: said entry can come from another, unrelated
call.

at this point, the states' tables have already been emptied.

Feature/ivette/scrollback prefs

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

The issue was introduced in 8fa891ec. Apparently
`Mergecil.union` has some interesting side effects even if one of the
field list is empty 

[wp] Fix crash with too large array in MemTyped

Closes #1125

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

[Eva] add spec and builtin for reallocarray (GNU libc)

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

[Kernel] use module name in visitor constructors to avoid issues with landmarks

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

Fix warning 50 (for Dune + odoc)

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

[Eva] Fixes a performance issue in the Results API.

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

[aorai] fix tests deps

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