GitLab

Mark block from inline functions as inlined

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

Fix/andre/various minor fixes

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

[Kernel] refactor file.ml and add option -print-cpp-commands

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

[scripts] prefer explicit FRAMAC variable over default frama-c in PATH

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

[Kernel] improve error message for sizeof on incomplete types

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

[Inout] Completely remove option -inout-callwise, which is always active.

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

[Eva] Fixes correctness parameters

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

[Slicing] avoid crash due to invalid command line

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

[Eva] hide experimental and deprecated options

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

[Eva] constrain ranges and values for several options

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

[Eva] Deprecate legacy parameters aliases

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

Tests the emitted warning on use of deprecated aliases.

These aliases will not be printed in the help message of Eva, and will emit
a warning when used.

Invisible aliases are not printed in the help message of the plugin or kernel.
Deprecated aliases emit a warning when used.

[CI] Try to remove frama_c_clang from internal

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

Feature/andre/update sarif

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

[Eva] Fixes the automatic loop unrolling on loops with no counter increment.

Closes #937

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

[Kernel] remove obsolete and unused Cmdline.String_list

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