[kernel] Fixes typo in warning about integer compatibility.

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

compare acsl extensions in AST diff

Closes #1137

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

Resolve "Icones pour la sidebar"

Closes #1402

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

Resolve "Ivette : stabilité lors d'une analyse longue"

Closes #1378

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

Valentin Perrelle authored 10 months ago and Loïc Correnson committed 10 months ago

- uses react-infinite-scroller dependency
- groups types, variables and function in a common scrollable react component

Fix/hackathon/rlaz

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

[Ivette] Slightly improves notifications

Closes #1401 and #1407

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

[Ivette] Fixes the category of some components.

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

[wp] add location for warn msg

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

Corriger l'icone Frama-C dans Ivette

Closes #1399

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

From the electron-builder doc:
https://www.electron.build/icons.html
- macOS: Icon size should be at least 512x512.
- Windows: Icon size should be at least 256x256.
- Linux: Recommended sizes: 16, 32, 48, 64, 128, 256 (or just 512).

So, using a 512x512 file with default name (icon.png) should work in all
systems and avoid issues with hardcoded differing file names.

[kernel] Warning key for arrays larger than SIZE_MAX.

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

Fix headers following !4591

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