Fixes dependencies to Eva in the configure

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

[e-acsl] prepare for Dune

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

[ci] remove counter-example from CI

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

[Kernel] add PWD to preprocessing error message

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

[several plugins] distribute tests

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

[e-acsl] fix distribution of symbolic dirs in tests

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

[Eva] Fixes unwanted changes from !3660

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

Feature/andre/libc unistd read

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

Returns `Bottom instead of `Top at any statement of such functions.
In particular, [is_reachable stmt] is false for these statements.

[Eva] API: exports the analysis status by function.

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

[ivette] new modal search bar

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

[tests] add missing dependencies in fc_script test

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

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

The search field can have different modes, changing its behavior. The
main goal is to implement the "ACSL evaluation" of the old GUI using a
mode.

[ivette] Fixes the synchronization of synchronized arrays at startup.

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

[ivette] Pivot table: uses a global state for the pivot table.

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

[ivette] new distribution scripts

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

Keeps the state of the pivot table when changing view.

- fixes a few dependencies
- insert place-holders for future changes

For the functions [use_spec_instead_of_definition] and [no_results].

This allows evaluating constant expressions and lvalues.