# Conflicts:
#	ivette/package.json
#	ivette/src/dome/main/dome.ts
#	ivette/src/dome/main/menubar.ts
#	ivette/yarn.lock

Failing due to non-context aware native modules

[Variadic] Export Variadic.Options through the API

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

[ivette] Improves values request and adds contextual menu to the values table.

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

[ivette] Fixes global settings, and fixes some states on view changes.

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

[ivette] Source code: selects the marker at the position of a left click.

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

Maxime Jacquemin authored 3 years ago and Maxime Jacquemin committed 3 years ago

Just some minor rewritting.

David Bühler authored 3 years ago and Maxime Jacquemin committed 3 years ago

Adds a few comments.

David Bühler authored 3 years ago and Maxime Jacquemin committed 3 years ago

The evaluation [v_before] is now mandatory in the getValues output.
The getValues request now returns a record for each evaluation, containing:
- the resulting value as a string;
- the alarms emitted by the evaluation;
- the variables pointed to by the value, if any. This list is also computed
  when the result is an offsetmap (for struct and arrays).

Removes request [getPointedLvalues].

David Bühler authored 3 years ago and Maxime Jacquemin committed 3 years ago

- Uses an event handler on "mousedown" instead of completely replacing the
  default behavior on a mouse click.
- Avoids changing the cursor position because of the selection change due to
  a mouse click.