[Dev] update Docker Makefile for release 25.0

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

[kernel] break ill-formed recursion between bitsSizeOf and constfold

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

[Eva] In Ivette, new component that prints the internal domain states for the selected marker

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

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

Not sure if the loop could occur here as well, but it can't hurt anyway

store normalized expressions for the arrays' size in the TypSize cache, so that we don't end up in an endless recursion when checking
for equality in the hashtbl operations of the cache.

[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.