[Kernel] allow parsing of enums with attributes

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

Allows to compile and execute in bytecode without WP

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

Resolve "Statement associé à une identified_property"

Closes #569

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

[Ivette] Fixes Studia search mode, which can accept any marker.

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

[wp] Tactics of the TIP

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

Ivette : modification of the structure of FieldState

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

[Kernel] support limited version of 'weak' function attribute

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

Andre Maroneze authored 2 years ago and Thibault Martin committed 1 year ago

This attribute is used by some STM32 compilers to allow function definitions
to be overridden by other function definitions.

Mergecil does not (easily) allow removing a previous existing definition to
override with a new one (undoing the former), but we can detect it and ask the
user to change the order of sources in the command line. In practice, this is
sufficient for some case studies.

clean SVG files

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

Ivette : Refacto button fold/unfold ASTview.tsx

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

This syntax is authorized by GCC/Clang and used in some libraries, such as
glib.

For now, we simply discard these attributes with a warning, since the examples
found so far are currently useless for Frama-C (e.g. 'deprecated').

Merge fixes from Nickel

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

[opam] bump minimal zarith version to 1.9

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

[dev] allow spaces in file names

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

Ivette : Field, label html en Label JSX

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

[Lexer] Handling unsupported types

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

Handling GMP overflow in `power_int_positive_int`

Closes #414

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

[wp] fix prover selection

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

Maxime Jacquemin authored 1 year ago and Andre Maroneze committed 1 year ago

Now, the lexer will produce a nice error message for _Decimal32,
_Decimal64, __int128 and __uint128_t.