Squashed commit of the following:

commit 64438ed5
Merge: 79f40a3f aa66417b
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Thu Nov 23 17:46:28 2023 +0000

    Merge branch '1334-dome-text-buffer-proxy-requires-a-state' into 'master'

    Resolve "[Dome] text buffer proxy requires a state"

    Closes #1334

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

commit aa66417b
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Thu Nov 23 17:46:56 2023 +0100

    [dome/richtext] use state transactions for text proxy

commit 79f40a3f
Author: Allan Blanchard <allan.blanchard@cea.fr>
Date:   Thu Nov 23 09:06:52 2023 +0100

    [ci] fix hello.tar.gz build

commit 15b5161c
Merge: 919b5201 68f16977
Author: Allan Blanchard <allan.blanchard@cea.fr>
Date:   Wed Nov 22 17:03:25 2023 +0100

    Merge branch 'stable/nickel'

commit 68f16977
Merge: 86025b16 de1bf9e8
Author: Allan Blanchard <allan.blanchard@cea.fr>
Date:   Wed Nov 22 12:32:24 2023 +0000

    Merge branch 'fix/blanchard/wp/logic-definitions-typing' into 'stable/nickel'

    [wp] fix logic definitions typing

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

commit de1bf9e8
Author: Allan Blanchard <allan.blanchard@cea.fr>
Date:   Wed Nov 22 10:03:32 2023 +0100

    [wp] fix logic definitions typing

commit 86025b16
Author: Andre Maroneze <andre.maroneze@cea.fr>
Date:   Tue Nov 21 15:52:45 2023 +0100

    [doc] improve help messages for frama-c-build-scripts.sh

commit 8e6339f2
Author: Andre Maroneze <andre.maroneze@cea.fr>
Date:   Tue Nov 21 11:58:09 2023 +0100

    [alias] indicate current experimental status

commit 495ccd73
Merge: fe39b8bf e175ccbd
Author: Allan Blanchard <allan.blanchard@cea.fr>
Date:   Mon Nov 20 13:54:35 2023 +0000

    Merge branch 'fix/blanchard/wp/strategies' into 'stable/nickel'

    [wp] fix missing or wrong strategy patterns

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

commit 919b5201
Merge: b5b1f9a6 8e276464
Author: Virgile Prevosto <virgile.prevosto@cea.fr>
Date:   Mon Nov 20 13:05:03 2023 +0000

    Merge branch 'fix/martin/kernel/1037-struct-returning-function-lifetime' into 'master'

    Fix/martin/kernel/1037 struct returning function lifetime

    Closes #1037 et #1220

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

commit e175ccbd
Author: Allan Blanchard <allan.blanchard@cea.fr>
Date:   Mon Nov 20 11:38:42 2023 +0100

    [wp] strategy fix missing concat pattern

commit ff03602a
Author: Allan Blanchard <allan.blanchard@cea.fr>
Date:   Mon Nov 20 11:15:00 2023 +0100

    [wp] fix missing or wrong strategy patterns
    - bad correspondance in binops
    - missing matching between ints

commit 8e276464
Author: Virgile Prevosto <virgile.prevosto@cea.fr>
Date:   Mon Nov 20 09:55:30 2023 +0000

    [doc] fix typos

commit b5b1f9a6
Merge: d329832e 7db9cfb6
Author: Virgile Prevosto <virgile.prevosto@cea.fr>
Date:   Mon Nov 20 08:40:26 2023 +0000

    Merge branch 'fix/martin/kernel/1112-ensure-all-variable-uses-are-visited' into 'master'

    Resolve "Ensure all variable uses are visited"

    Closes #1112

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

commit 6a575674
Author: Thibault Martin <thi.martin.pro@pm.me>
Date:   Wed Nov 15 11:08:36 2023 +0100

    [doc] rewrites few comments

commit 4ea8b752
Author: Virgile Prevosto <virgile.prevosto@m4x.org>
Date:   Fri Sep 29 19:20:16 2023 +0200

    [tests] fix typing of test source file

commit effaace3
Author: Thibault Martin <thi.martin.pro@pm.me>
Date:   Mon Oct 2 09:58:20 2023 +0200

    Move transformation inside compileCondExp

commit bf2c8e1e
Author: Thibault Martin <thi.martin.pro@pm.me>
Date:   Mon Oct 2 09:57:32 2023 +0200

    Revert change and use varinfo equal function

commit f690b518
Author: Thibault Martin <thi.martin.pro@pm.me>
Date:   Mon Oct 2 09:57:10 2023 +0200

    Rename contains_problem to contains_temp_subarray

commit e586380e
Author: Thibault Martin <thi.martin.pro@pm.me>
Date:   Mon Sep 4 10:16:34 2023 +0200

    Add test and oracle for access to array field of struct-returning fun

commit 800e1064
Author: Thibault Martin <thi.martin.pro@pm.me>
Date:   Mon Sep 4 10:16:05 2023 +0200

    Handle condition expression for if/loops

commit 5207e1f5
Author: Thibault Martin <thi.martin.pro@pm.me>
Date:   Mon Sep 4 10:15:15 2023 +0200

    Similar normalization for full expressions

commit aadb0771
Author: Thibault Martin <thi.martin.pro@pm.me>
Date:   Mon Sep 4 10:12:03 2023 +0200

    hide init chunk which access array field from struct-returning function

commit c95c2dd3
Author: Thibault Martin <thi.martin.pro@pm.me>
Date:   Wed Aug 23 12:16:10 2023 +0200

    Do not display ghost code in proto/fun args when empty

commit d329832e
Merge: 413e162b f4485569
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Mon Nov 13 17:13:16 2023 +0000

    Merge branch 'fix/ivette/sandbox' into 'master'

    [ivette] removed sidebar sandboxing

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

commit 413e162b
Merge: e082477e e6a85a12
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Mon Nov 13 17:00:56 2023 +0000

    Merge branch 'feature/dome/rich-text' into 'master'

    [dome] rich text component

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

commit f4485569
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Mon Nov 13 17:34:49 2023 +0100

    [ivette] removed sidebar sandboxing

commit e6a85a12
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Mon Nov 13 17:22:02 2023 +0100

    [dome] sanitizing diff package

commit 48d3039a
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Mon Nov 13 17:16:02 2023 +0100

    [ivette/console] updated tests

commit 15fab2d9
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Mon Nov 13 17:07:47 2023 +0100

    [dome/richtext] fix CSS

commit fe39b8bf
Merge: 98b00f7c a0aa0814
Author: Allan Blanchard <allan.blanchard@cea.fr>
Date:   Mon Nov 13 14:44:51 2023 +0000

    Merge branch 'fix/andre/move-e-acsl-test-to-dev' into 'stable/nickel'

    [e-acsl] move test to dev config to avoid issue in macOS

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

commit 8f9ccd49
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Mon Nov 13 15:36:25 2023 +0100

    [ivette/controller] auto-scrolling

commit 98b00f7c
Merge: 6e250738 9e27022f
Author: Andre Maroneze <andre.maroneze@cea.fr>
Date:   Mon Nov 13 13:15:12 2023 +0000

    Merge branch 'fix/blanchard/ci/release' into 'stable/nickel'

    Multiple fixes in release CI

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

commit 68593beb
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Fri Nov 10 17:39:10 2023 +0100

    [ivette] new console auto-scroll

commit eca5716d
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Fri Nov 10 16:43:08 2023 +0100

    [dome/richtext] more proxies

commit 748e26b2
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Fri Nov 10 16:07:31 2023 +0100

    [dome/richtext] force default options

commit 9e6da8db
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Fri Nov 10 15:01:18 2023 +0100

    [dome/text] removing old codemirror stuff

commit 6aa2f73a
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Fri Nov 10 13:32:06 2023 +0100

    [dome/richtext] gutter clicks

commit 9dba0fbd
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Fri Nov 10 11:10:13 2023 +0100

    [ivette/richtext] mouse events

commit 7db9cfb6
Author: Thibault Martin <thi.martin.pro@pm.me>
Date:   Thu Nov 9 17:34:49 2023 +0100

    Remove inside_exp stack

commit 6e250738
Merge: 446ac696 92b0cd7f
Author: Andre Maroneze <andre.maroneze@cea.fr>
Date:   Thu Nov 9 15:13:58 2023 +0000

    Merge branch 'doc/fc-scripts/make-machdep' into 'stable/nickel'

    [fc-scripts] document make-machdep command

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

commit 446ac696
Merge: cc659d01 1d2e1c7d
Author: Andre Maroneze <andre.maroneze@cea.fr>
Date:   Thu Nov 9 15:13:08 2023 +0000

    Merge branch 'fix/eva/user-manual' into 'stable/nickel'

    [Eva] User manual: comments paragraph about the new syntax of ACSL extensions.

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

commit 48fa88f4
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Thu Nov 9 15:07:06 2023 +0100

    [dome/richtext] hovering callback

commit cc659d01
Merge: 32a773c8 55bd39a2
Author: Allan Blanchard <allan.blanchard@cea.fr>
Date:   Thu Nov 9 08:25:37 2023 +0000

    Merge branch 'fix/blanchard/opam/dune-site-version' into 'stable/nickel'

    Force dune-site version to 3.7.0

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

commit 2932ce15
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Thu Nov 9 09:02:34 2023 +0100

    [dome/richtext] range proxy & viewport listener

commit 92b0cd7f
Author: Andre Maroneze <andre.maroneze@cea.fr>
Date:   Wed Nov 8 17:52:52 2023 +0000

    fix typo

commit 06a36995
Author: Virgile Prevosto <virgile.prevosto@m4x.org>
Date:   Wed Nov 8 18:21:48 2023 +0100

    [fc-scripts] document make-machdep command

commit 87a4ac53
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Wed Nov 8 18:05:32 2023 +0100

    [dome/richtext] optional extensions

commit 8e6dc720
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Wed Nov 8 16:41:53 2023 +0100

    [dome/richtext] fixed gutters

commit 83763b22
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Wed Nov 8 08:48:58 2023 +0100

    [dome/richtext] static decorations with fields

commit 21e7a377
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Tue Nov 7 10:32:18 2023 +0100

    [dome/richtext] introducing gutters

commit 55bd39a2
Author: Thibault Martin <thi.martin.pro@pm.me>
Date:   Wed Nov 8 11:02:11 2023 +0100

    Force dune-site version to 3.7.0

commit 32a773c8
Merge: edaa7275 0fceb28a
Author: Virgile Prevosto <virgile.prevosto@cea.fr>
Date:   Tue Nov 7 15:04:47 2023 +0000

    Merge branch 'fix/freebsd-compatibility' into 'stable/nickel'

    fix compilation and tests in FreeBSD

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

commit 0fceb28a
Author: Virgile Prevosto <virgile.prevosto@cea.fr>
Date:   Tue Nov 7 14:30:43 2023 +0000

    Add comment

commit 9e27022f
Author: Allan Blanchard <allan.blanchard@cea.fr>
Date:   Tue Nov 7 09:21:21 2023 +0000

    replace coherent -> consistent

commit d30867c5
Author: Andre Maroneze <andre.maroneze@cea.fr>
Date:   Mon Nov 6 21:35:10 2023 +0100

    [tests] disable some tests on FreeBSD

    - tests which run gcc (not available on opam's CI for FreeBSD);
    - a test which relies on the precision of the floating-point math library;
      FreeBSD's library produces some differences in least significant digits.

commit abb1e474
Author: Andre Maroneze <andre.maroneze@cea.fr>
Date:   Mon Nov 6 21:36:56 2023 +0100

    [e-acsl] fix issue with FreeBSD's make

    FreeBSD's make does not seem to treat the '$<' special variable as GNU Make
    does. This StackOverflow question indicates a possible cause:

    https://stackoverflow.com/questions/12904011/bmake-proper-use-of-automatic-variables

    Note that the explanation ("other versions of make do not support automatic
    variables in explicit rules") does not seem entirely correct, since '$@' is
    expanded as in GNU make.

commit 32ad654f
Merge: d9cf519f be323fb0
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Mon Nov 6 17:23:26 2023 +0100

    Merge branch 'master' into feature/dome/rich-text

commit d9cf519f
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Fri Oct 27 18:08:41 2023 +0200

    [dome/richtext] decorations

commit c9b0a668
Author: Allan Blanchard <allan.blanchard@cea.fr>
Date:   Mon Oct 30 13:22:32 2023 +0100

    [ci] add script for checking release

commit 11ee348d
Author: Allan Blanchard <allan.blanchard@cea.fr>
Date:   Fri Oct 27 14:56:23 2023 +0200

    [ci] fix hello tar gz compilation
    - and explode when the archive is empty

commit de1215d6
Author: Allan Blanchard <allan.blanchard@cea.fr>
Date:   Fri Oct 27 14:17:24 2023 +0200

    [release] event: remove minor for .0 versions

commit 6eac836a
Author: Allan Blanchard <allan.blanchard@cea.fr>
Date:   Fri Oct 27 14:15:39 2023 +0200

    [release] fix version name in installation file

commit acf90583
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Fri Oct 27 15:44:00 2023 +0200

    [dome/richtext] props renamed

commit 7255553b
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Fri Oct 27 13:50:01 2023 +0200

    [dome/richtext] selection listener

commit 07c27d52
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Fri Oct 27 12:52:10 2023 +0200

    [dome/richtext] diff incremental updates

commit 9c68927c
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Fri Oct 27 12:11:00 2023 +0200

    [ivette/sandbox] icons gallery

commit f35c788c
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Fri Oct 27 11:30:54 2023 +0200

    [dome/richtext] text proxies & text buffers

commit 34b7c632
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Thu Oct 26 20:20:03 2023 +0200

    [dome] introduce Diff dependency

commit 427756ac
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Thu Oct 26 19:20:48 2023 +0200

    [dome/richtext] text buffer persistency

commit a7c2d951
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Thu Oct 26 14:07:48 2023 +0200

    [dome/richtext] renamed & documented

commit da1d3c20
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Wed Oct 25 21:33:23 2023 +0200

    [dome/richtext] update events

commit 7daead44
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Wed Oct 25 16:27:13 2023 +0200

    [dome/richtext] readonly

commit 3244deae
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Wed Oct 25 16:23:19 2023 +0200

    [dome] debounced  & protected callbacks

commit d8e428ee
Author: Loïc Correnson <loic.correnson@cea.fr>
Date:   Wed Oct 25 12:14:08 2023 +0200

    [dome] rich text component draft

commit 1d2e1c7d
Author: David Bühler <david.buhler@cea.fr>
Date:   Tue Oct 17 15:22:59 2023 +0200

    [Eva] User manual: comments paragraph about the new syntax of ACSL extensions.

    As this alternative syntax has not been merged yet.

commit a0aa0814
Author: Andre Maroneze <andre.maroneze@cea.fr>
Date:   Wed Oct 4 14:38:07 2023 +0200

    [e-acsl] disable _dev tests on macOS due to incompatible getopt

commit 7945eb95
Author: Andre Maroneze <andre.maroneze@cea.fr>
Date:   Wed Oct 4 14:37:55 2023 +0200

    [e-acsl] move test to dev config to avoid issue in macOS