GitLab

[ivette] Source code improvements

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

Deverse stable/chromium into master

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

Integer library

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

Fix/andre/remove verisec

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

[analysis-scripts] avoid following symbolic links for better performance

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

Fix/test oracles vtests

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

[Eva] Support the evaluation of ACSL set comprehension

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

[Eva] Removes exception Db.Value.Aborted; uses abort/fatal instead.

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

[Libc] add semi-spec and stub for non-POSIX asprintf

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

Fix/andre/more very large integers

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

[Json] Use Json.t instead of Yojson.Basic.t

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

Thibaut/bugfix/sums gmp

Closes e-acsl#182

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

Fix store of a volatile read

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

The previous version worked because usePromise is based on useEffect,
which means it can perform computations with effects correctly. However,
it is not super satisfying, so I rewrite it the right way I think.

The method selects a given line in each connected views, and put it at
the top of each views.

We execute the promise only once now, instead of doing it for each
rendering.

The absolute path is still available when hovering over the file name.

The SourceCode component has been improved in two ways:
- The absolute path of the file containing the selected function is now
  displayed in the component title.
- The source code of the component is cleaner, easier to understand, and
  without any ugly useEffect to handle the Promise. However, it requires
  the <usePromise> hook that should be added to master soon.

The new hook `usePromise` allows to handle Promises, forcing React to
redraw the component when the Promises returns.

[Parser] improve error message for unsupported C11 keywords

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