David Bühler authored 2 years ago and Valentin Perrelle committed 2 years ago

The user can select the Eva domain whose state are printed.

David Bühler authored 2 years ago and Valentin Perrelle committed 2 years ago

Results: new function print_states returning a textual representation of the
internal domain states, as a list for all available domains.

David Bühler authored 2 years ago and Valentin Perrelle committed 2 years ago

This function is used by memexec, and will be soon used to reduce the states to
be printed for the end-user.

David Bühler authored 2 years ago and Valentin Perrelle committed 2 years ago

Documents the need for a clear and simple name in the domain interface.
In the engine, the registration of abstractions does not change the domain name
anymore.

[ci] force Biniou to 1.2.1

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

Stable/manganese

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

[E-ACSL] Linear Typing

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

[ci] force yojson to 1.7.0

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

Modernize HTML headers and set utf-8 encoding

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

[ivette] Specifications folding

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

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

It uses the builtin feature of CodeMirror to do so.
There is several axes of improvement, but for now it should be enough.

[Eva] update alternative test oracles

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