[ivette] Messages panel: show complete message in a bottom foldable panel.

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

The warning was:
  Cannot update a component from inside the function body of a different
  component

It happened because a call to the model's method <setOrderingByFields>
was done at each rendering, which somehow was a bad idea. Now it is done
during the model's creation, and everything's fine.

David Bühler authored 3 years ago and Maxime Jacquemin committed 3 years ago

The bottom panel is not shown by default: it appears at a click on a table
row, and can then be closed.

In the table, clips too long messages with an ellipsis '…'.
Increases the size of columns for the category and the function.

24.0-beta release preparation

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

[Eva] Do not disable all logic reductions when plevel is set to 0.

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

- use https for URL
- fix URL of frama-c-discuss
- update quick install instructions for opam 2.1.0
- use --dev-repo for opam pin instructions

depext is now bundled in opam directly. Explicit installation instructions
are kept for reference.

- Always fold on the location bases.
- For a given base, reduce if the number of integer offsets is smaller than
  the plevel or the ilevel.

[eacsl] Use a custom script to launch E-ACSL dev tests

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

[eacsl] A collection of small fixes

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

[ivette] External editor call in SourceCode component

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

- The default values in `e-acsl-gcc.sh` are removed to always use those
  in `e_acsl_shadow_layout.h`
- The default values in `e_acsl_shadow_layout.h` are set to the values
  that were in `e-acsl-gcc.sh` since they were the values actually used
  by default.