[Kernel] Differenciate Integer.pretty and Integer.pretty_hex

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

Also fixes ordering of scripts in the list: we use lexicographic
ordering here, not Mendeleiev table.

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

[analysis-scripts] avoid issues with output of make-wrapper test

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

|wp] Intercept 0 size arrays when typing

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

Virgile Prevosto authored 3 years ago and Allan Blanchard committed 3 years ago

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

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