The selected theme was not applied on startup. The fix consists on
calling the relevent ipc events at the start of the renderer to force
the application default settings.

[project] get rid of since-10-years-deprecated State_selection.Static

Closes #1103

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

A dark mode for Ivette

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

Maxime Jacquemin authored 3 years ago and Loïc Correnson committed 3 years ago

Avoiding potential futur errors.

Maxime Jacquemin authored 3 years ago and Loïc Correnson committed 3 years ago

Dive still needs some work.

Maxime Jacquemin authored 3 years ago and Loïc Correnson committed 3 years ago

There is some stuff to do to polish everything but it starts to look
good.

Maxime Jacquemin authored 3 years ago and Loïc Correnson committed 3 years ago

We simply modify the opacity of all the components when the window is
inactive. No need of special CSS for each component.

[kernel] Improves parsing time by optimizing several AST visitors

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

[headers] 2022

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

[eacsl] Extend Ensuresec example with a wrapper script to push E-ACSL alerts to a web API

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

[cil] fix list of potential types for decimal integer litterals

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

[WP] improves bitwise simplifier

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

original definitions took advantage of the non-compliant behavior
wrt decimal integer litteral