GitLab

[libc] ensure bool, true and false are not macros when in C++ mode

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

[makefile] fixes ocamlfind warning about missing -thread

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

[kernel] Removed deprecated ACSL extension registration API

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

[Eva] Changes the type and registration of builtins

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

[wp] testing new cfg

Closes pub/frama-c#49 and #259

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

Supports nullable pointers in context

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

[eacsl] Fix use of E-ACSL with `-no-frama-c-stdlib`

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

Resolve "[wp] partial inits"

Closes #1029

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

If the Frama-C libc is used, then include `__fc_alloc_axiomatic.h`,
otherwise redeclare the axiomatics from this file.

In the redeclared axiomatics, use `SIZE_MAX` instead of `__FC_SIZE_MAX`
in E-ACSL specification since the Frama-C libc will not be available to
define this constant.

[eacsl] Update changelog

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

[eacsl] Fix `__e_acsl_globals_clean()`

Closes e-acsl#145

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

The `__eacsl_globals_clean()` global function is only created if there
are globals variables. A `return;` statement is added at the end of the
function to satisfy Frama-C invariants.

[eacsl] Look for Frama-C in more places in wrapper script

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

The `e-acsl-gcc.sh` only looked for the Frama-C executable in the
`$PATH`. This commit updates the search for Frama-C to be able
to detect the binary if installed in a folder not added to the path,
or if running the script from the development sources.