[eacsl] Fix e-acsl-gcc.sh bash completions script

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

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

[Doc] Userman: review and update initial sections

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

Fix opam instruction and VERSION name

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

[Doc] add section about libc in userman

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

[Doc] add a quick guide for ACSL for Eva

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

[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