[dev] replace hard-coded usages of /dev/null in Sys.command calls (cont.)

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

[wp] Fix frame condition

Closes #2575

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

[Eva] add warning key unknown-size

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

[eacsl] Check C linting with clang-format and check for TAB in Changelog

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

[eacsl] Fix `init_function.c` test

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

[libc] Special float contract: always generates requires clauses with a name.

Closes #1066

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

[eacsl] Translate the default behavior requires clause before evaluating the assumes

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

[server] Fixes the array synchronization via [States.update] and [States.remove].

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

[Dev] compatibility with Landmarks 1.4

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

Fix/ivette/always poll

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

[wp] Do not drop type step without variables

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

- do not drop type step without variables
- better management of Branch/Either in Condition.ml

[ivette] Adds a status message in the bottom bar, and new menu items

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

[Ivette] Add default signal to GET request

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

In ivette, ensures that the reset of the selected locations (and the call to the
'getMainFunction' request) is only done after the AST has been computed.