Fix/martin/tests/better name for script fun

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

[Ivette] Fixes computation of unreachable statements.

Closes #1300

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

[Ivette] Search mode to apply Studia on arbitrary lvalues

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

- Removed a useless export.
- Get rid of an intermediate function for converting markers to ranges
  in the dead code handler. It's just a style matter.

Tried to make the code cleaner and clearer.

David Bühler authored 1 year ago and Maxime Jacquemin committed 1 year ago

In Eva, the request "getDeadCode" also return the list of reached statements.
In Ivette, computes the ranges of dead code by removing the ranges of reached
statements to the ranges of unreachable statements, as goto statements can
reach statements inside unreachable blocs.

Fix warnings 67 and 69

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

Merge branch 'feature/martin/kernel/1312-add-mode-skip-for-option-generated-spec-custom' into 'master'

Resolve "Add mode "skip" for option -generated-spec-custom"

Closes #1312

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

Force disable gui on macOS

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

[qed] moved into libraries and remove Frama-C deps

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

[Eva] User manual: adds sections about evaluation subdivisions and ACSL directives

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

[Kernel] fix a few typos, reword some comments

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

New script to compute dir coverage using --coverage output

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

[Dev] update Docker base images; add Makefile targets

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

[tests] force dune tests

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

[kernel] fix missing function designator conversions to function ptr.

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