Feature/andre/tests metrics stabilize

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

[Libc] avoid merge conflicts in test oracle

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

Removes native out to Alt-Ergo and Coq

Closes #2581

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

[Cabs2cil] reject zero-width named bitfields

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

[Eva] Improve the annotation API

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

Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago

- loc is now optional and copied from statement if not given
- get_* functions are now exported

[Doc] add more Landmarks examples in devman

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

[kernel] Cil builder: insert a cast in assign instructions when needed.

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