Rename concat chunk operator (@@) by (@@@)

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

[ivette] Fixes table: columns shows elements equal to false.

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

[wp] detect multiple goals with the same identifier

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

[wp] fix statement compiler exits

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

[ci] pathcrawler swallowed linea-cabs

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

Applies generative functors to () instead of deprecated (struct end).

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

[Eva] Finally removes Db.Value.

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

Adds functions to modify the initial cvalue state in Eva_results; they are
only used by Mthread.

And no longer the cvalue initial state normally computed by the analysis,
when no initial state is supplied externally.
The initial cvalue state can always be accessed from Cvalue_results.

Removes [initial_state_only_globals] from Db.Value.

Records the truth value of conditions in a hashtbl in iterator.ml.

Avoids warning 73 with OCaml 5.1.

[Eva] Removes tables storing cvalue states from Db.Value

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

[tests] Fixes script test.sh: option --coverage does not expect an argument.

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

[Kernel] remove reliance on 'PWD' environment variable

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

New file cvalue_results storing the cvalue states (using Domain_store.Make).

According to the -eva-join-results parameter.

Clears caches at the beginning of an analysis, and whenever the project library
chanes the local value of Eva state.