[eacsl] Count E-ACSL builtins as Frama-C builtins

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

This modification will notably avoid translating E-ACSL builtin
contracts.

[Kernel] use getenv PWD instead of getcwd to avoid issues with symbolic links

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

[Libc] add specs for frexp and ldexp

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

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