Valentin Perrelle authored 3 years ago and Virgile Prevosto committed 3 years ago

- The optional argument is gone, allowing much shorter usage in
  printf-like functions

Avoids https://github.com/ocaml/opam-repository/issues/20107
Probably only a temporary workaround before a correct alt-ergo
package is uploaded to opam-repository

[ivette] Messages panel: simplifies the implementation of message filters.

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

[Libc] avoid spurious uninitialized warnings in Clang

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

Bugfix/thibaut/quantifiers

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

[wp] Fixes stmt assigns handling in CFG

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

[Eva] Fixes a crash when using -from-verify-assigns.

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

[Eva] Updates the user manual

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

Fixes a crash when the location of an \assigns clause cannot be computed.

[eacsl] Add support for VDSO segment

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

[wp] remove incremental sigma construction

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

Smarter filter heuristic

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

[doc] Update copyright year to 2021 and update release manual

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

[eacsl] Fix e-acsl-gcc.sh detection of failures in subcommands

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

[ivette] Display lvalues through pointers and pretty offsetmaps

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