[ivette] ensure toolbar suggestions box is on top of Dive's legend

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

[dome] check-boxes field

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

[Eva] Fixes a crash in the memcpy/memset builtins.

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

[cabs2cil] Fix VLAs error messages (#1343)

Closes #1343

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

The first run has no absolute valid range.
The second run only tests function copy_0 with absolute valid range.

Disable tests on freebsd, Enable tests on macos

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

[Kernel] loop unfold extension

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

[e-acsl] fix typing problem when using rationals

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

The occurrence of rationals in the following logic function lead to an
assertion failure in Interval_utils.extract_ival, which was only defined
for non-integer arguments.

/*@
    logic integer signum(ℝ x) =
      x > 0. ? 1 : x < 0. ? -1 : 0;
*/

Regression test added: src/plugins/e-acsl/tests/arith/sign_rational.c

# Conflicts:
#	doc/userman/user-changes.tex
#	man/frama-c.1.md

Feature/wp/regions

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