When the layout changes, the model fires the 'laidout' event.
The number of rows may have changed (when callstacks are shown or hidden, for
instance), and the values panel must be updated accordingly.

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.