When using symbolic links for plug-in directories (e.g. for testing external
plug-ins), the '-L' flag (follow symbolic links) is necessary to avoid a syntax
error in the script.

[kernel] Cabs2cil: fixes the alignement computation on packed directives.

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

David Bühler authored 6 months ago and Andre Maroneze committed 6 months ago

- uses the alignment of a field type instead of its size to compute
  the field alignement.
- removes incorrect special case for flexible array members, introduced to
  circumvent a crash when computing their size. As we now use the alignment
  instead of the size, the crash no longer occurs.
- merges the implementation of two similar cases (whether there are aligned
  field attributes or not).

Feature/martin/test/pass all remaining args to dune

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

Various libc improvements for better parsing of code seen in the wild

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

[libc] add some C11, C23 and glibc headers/definitions

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

[cabs2cil] avoid crash in syntactically invalid code, switch with a double

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

[Ivette] fix camelCase error for new hooks

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

[Ivette] added the possibility of passing options to Graph

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

[tests] remove excessively large libc oracles to avoid conflicts

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

[ivette] EvaForm : fix css

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

[analysis-scripts] sync build.py with blug master

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

[dev] remove obsolete scripts

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

[Ivette] add hook useFunctionFilter

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

[Ivette] Properties : add hook for menu filter + change DEFAULTS filters structure

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

[e-acsl] correctly handle negative integers generated by RTE

Closes #1236

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

[e-acsl] Logic_functions: fix arity confusion of generated functions

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

Fix / clean Kernel_function.var_is_in_scope

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

Basile Desloges authored 7 months ago and Thibault Martin committed 6 months ago

Fix a bug where `Kernel_function.var_is_in_scope vi stmt` would return
true if `stmt` was the defining statement for `vi` and the first
statement of a block.

This fixes the pathological example from the previous commit by
adding missing code to Gmp.Q.normalize_str that handles signs.