Kilyan Le Gallic authored 8 months ago and Allan Blanchard committed 5 months ago

[wp] Added theory abstraction for use on call of external theories, fixed typo in debug log, augmented pattern matching for whyml props and uses (expected handling yet to be found)

[kernel] introduce boolean logic types

Closes #1397

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

Release scripts for Ivette

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

- now uses the right type for a boolean function

- these tests do not use anymore datacons, another error is thus triggered

- now, its a single constructor
- also adds a boolean logic constant

Refine contracts inferred from GNU extended asm

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

Only keep static inline info in linker table when aggressive-merging is on

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