GitLab

[dome] port Dome to TS

Closes #938 and #919

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

Feature/andre/remove frama c config

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

Fixes invariant labels and crash in WP

Closes pub/frama-c#23

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

More robust proof obligation generation

Closes #972

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

Fix/andre/opam tests

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

Viewing Flamegraphs requires some specific Perl modules (e.g. open),
which are not necessarily available even with conf-perl.
Since this feature is optional and cannot be entirely tested via command-line,
removing it for now is a better approach than trying to extensively check that
each dependence is available in the test machine.

[analysis-scripts] remove now-unnecessary -permissive flag

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

Doc/slicing pdg

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

Feature/dive/zooms

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

[eacsl] Use dlmalloc compiled from sources

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

[dive] fix a bug where clicking several time on a node with a unique dependency would not select the dependency

[wp] Moves a test from kernel to WP

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