[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

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

When the right expression and the lvalue have different types, inserts a cast.

[Eva] Adds .merlin file in Eva to solve file conflicts between plugins.

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

[devel-tools] Add an helper to invoke frama-c within valgrind/callgrind

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