Andre Maroneze authored 4 years ago and David Bühler committed 3 years ago

Due to the absence of a long double version of the pow() logic function,
and due to likely little demand for ldexpl, this function has not been
specified.

[doc] minor improvements to build-manuals.sh

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

[ptests] adds PLUGINS directive

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

Fix/andre/alpine linux fixes

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

[From] Avoids re-running the Eva analysis when loading a save file

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

[eacsl] Reactivate tests for builtins

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

[kernel] Always recompute the CFG after applying a code transformation.

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

[analysis-scripts] more informative message for normalize-jcdb

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

[Cabs2cil] more explicit error message concerning multidim VLAs

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

The file `signalled.h` is now common to `format` and `builtin` tests.

Do not miss assumes in smoke tests

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

Even if the AST already exists and the transformation is triggered by an
option change.

Feature/andre/libc minor zenoh

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

[Eva] Dynamic split annotations

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

Generalized Overflow tactic

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

Stable/vanadium

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

[eacsl] Fix regression on `-e-acsl-no-valid` in the presence of behaviors

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

[WP] Fix for memlimit

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