The ASTinfo component clears the buffer when the selected marker changes and
no data is provided (which happens when the marker is null).

[Libc] add some specs and constants

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

Fix/andre/machdep macro no frama c stdlib

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

[Dev] script to check known working configuration

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

[Ivette] New requests and new ivette component AST information

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

[wp] try to improve wp-qualif regressions

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

[analysis-scripts] do not use reserved variable name FRAMAC_CONFIG

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

[Eva] Test math_builtin: fixes the filter of floating-point values.

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

Properly filters the single-precision values of function acos/asin/atan.
Also filters the last digit of some double precision values.

This is a workaround to avoid oracle differences due to imprecisions of the
system libc (on which the Eva math builtins rely).

The request returns the text to be displayed about the selected marker, instead
of structured information to be parsed by the client.

[Eva] New builtins for trigonometric functions acos, asin and atan

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

David Bühler authored 4 years ago and Michele Alberti committed 4 years ago

Uses a synchronized array to get the kind of each marker. Only creates the menu
on function varinfos.

David Bühler authored 4 years ago and Michele Alberti committed 4 years ago

Currently provided information:
- marker kind;
- kernel function of statements, lvalues and expressions;
- type of lvalues and expressions;
- size of types;
- various information about varinfos.

David Bühler authored 4 years ago and Michele Alberti committed 4 years ago

Contains, for each created marker:
- the kind of the marker;
- if possible, a string identifying the marker for the end-user.