Fixes lv_type field of variables whose value is a function

Closes #1093

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

Extend split tactic : split conjunctions

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

[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

Since this test is supposed to check the order in which globals are presented
after AST reordering, such oracle changes must be considered carefully. Here,
there's no dependency between `j` and `k`, so that they can indeed be swapped.
This in fact better reflect the original global list before reordering

NB: `l` is always at the very top of the list, despite being inserted last. This
might warrant investigation at some point. However, the resulting AST after
reordering is correct, which is the main goal.

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

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

Fixes #1093

[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.