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

Makes marker kinds a direct reflection of the ocaml type; removes the 'variable'
and 'function' kinds.
Adds a new column to the synchronized array of markers that indicates if a
marker is a variable, a function, or something else.

Makes marker kinds a direct reflection of the ocaml type; removes the 'variable'
and 'function' kinds.
Adds a new column to the synchronized array of markers that indicates if a
marker is a variable, a function, or something else.

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

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.

Application to logs, properties kind & status

Incomplete : request API must also change