update reference configuration

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

[kernel] first attempt at machdep generator

Closes #1124

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

[logic] remove qualifiers from term types, except where it matters.

Closes #1209

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

[man] update Frama-C manpage

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

Fixes #1209

- --compile-flags="-c -I/path" works (i.e. there's no need to provide as many
  --compile-flags options as you have flags to pass to the compiler itself.
  Ditto for --cpp-arch-flags of course
- we start by checking that a minimal C file does not trigger a compiler error
  with the given option and we abort otherwise. This ensures that subsequent
  tests will not mistakenly take a configuration error for a genuine result.

Merge branch '1212-ivette-update-astview-when-alarms-are-emitted-or-statements-are-marked-as-dead' into 'master'

Resolve "[ivette] Update ASTview when alarms are emitted or statements are marked as dead"

Closes #1212

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

Also fixes machdep-schema that was missing a type...

Basically fields corresponding to undefined macros will properly be
associated to null instead of the macro name itself.

We do it even for macros that are supposedly defined by a standard compliant
C library, so that we can cope with more exotic implementations

Loïc Correnson authored 1 year ago and Allan Blanchard committed 1 year ago

This reverts commit 0bd1d1f0c17fb811469aa8b57fb4bd8f4acbc83b.

[ci] force keys update

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

Fix/wp/double assumes normalization

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

[Eva] User manual: updates section about the octagon domain.

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