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

It is a minor detail

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

The bug was that a clic on the by callstack button would not display the
values of all callstacks, instead showing only the consolidated one and
a unique callstack. A second clic was necessary to perform the request,
update the caches and finally display the complete data.

The fix we use here is quite brutal: we invalidate the values cache in
the model. I would like to find a cleaner way.

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

The Valuecomponent had lots of weird bugs, triggering the warning
<Can't perform a React state update on an unmounted component>.
This was caused by an ugly, full of unsafe effect, way to handle the
Model used by a lot of components used by the ValueComponent

Now, the Model is created only once by the ValueComponent itself, and
given as a property to every component that needs it.

As a consequence, the useModel() function is now useless.

[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