Credit to Thibault Martin

Credit to Thibault Martin

- Better names in composition.mli
- Adding @since everywhere
- Some spaces to pin doc onto the module instead of its content

Credit to Virgile Prevosto

Based on distributives laws

Credit to Virgile Prevosto

Credit to Basile Desloges

Removing all calls to `Bottom` functions on lists without changing the
semantic.

ensures  `user_directories.unix` cram test is stable across dune versions

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

[Eva] build the engine modules recursively

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

Valentin Perrelle authored 3 months ago and David Bühler committed 2 months ago

- the useful modules definitions are moved to Engine_sig
- the engine contains the modules circularly dependent on the
  engine
- every module circularly dependent on the engine receive the Engine
  as a functor parameter
- Analysis instanciate the Engine recursively

Feature/eva/improve messages

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

[Ivette] Fixes compilation verbosity

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

[Ivette] Properties : added filter for libc

Closes #1387

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

But still ensure the server API is always generated first.

[ci] Add patchShebang to frama-c.nix

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

The script `ivette/api.sh` with a shebang is run when building Frama-C
so a call to `patchShebang` in `frama-c.nix` is necessary so that the
shebang in the script is correctly handled by Nix in all cases.