Resolve "[volatile] read const volatile variables"

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

Terminate the support of terminates (almost)

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

- use of cannot is apparently preferred over can not
- hov box without formatting hints is useless. Besides, opening
  an inner box very late on the line is usually not a good idea.

[ci] Fixes the node version used by the gitlab continuous integration.

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

[Dev] add new generic Dockerfile, based on Alpine

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

[Eva] Retroactively updates the Changelog for Eva.

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

let variadic infer specs even if format string is not statically known

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

size_t, ptrdiff_t, intmax_t, uintmax_t, ssize_t have their own length modifiers

[callgraph] Adds a missing interface file.

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

[Kernel] parse and evaluate _Static_assert

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

[Libc] define __STDC_NO_COMPLEX__, according to C11 6.10.8.3

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

David Bühler authored 3 years ago and Virgile Prevosto committed 3 years ago

Fixes the compilation with ocaml 4.13, lablgtk2 and ocamlgraph_gtk.
Removes an unused exception.

[wp] Removed option -wp-overflows

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

[eacsl] Fix e-acsl-gcc.sh warnings due to missing casts

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

[E-ACSL] Clean interaction between phases

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