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.

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

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

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

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

For now I have the following:
  - A new preference that allows to specify which command to launch to
    edit the source code in the user's favorite editor;
  - Spawn a new process that launch the editor on the current selection
    using the specified command. The keybinding used is
    <Ctrl-LeftClick>, exactly as the old GUI.

However, there is a catch. First, the keybinding does not select a line
before launching the external editor. Second, the only selection that is
actually taken into consideration is the one done when we click on a
function.

Review of direct usages of -load-module and -load-script options in the test base

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

[tests] removes -journal-disable & -check options that are already defined in @PTEST_DEFAULT_OPTIONS@

reverse stable/chromium into master

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

[ci] Fixes the node version used by the gitlab continuous integration.

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