Fix typos

[analysis-scripts] remove deprecated .loop-related rules

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

[InOut][Eva] Add primitive support for logic assertions.

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

[wp] backport nupw 6.6+dev

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

Used by the Inout plugin, and then indirectly by Memexec.

[ptests] ensure exec log comparison are done in the relevant directory

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

[Makefile] fix make src-distrib for filenames with spaces

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

The function given to [dynamic_register] builds directly the flag instead of
only the abstraction.

Port Journal session filename to Filepath.

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

[rte] Remove call site preconds from help msg

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

[typing] only scalar types can be casted to _Bool

Closes #821

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

[Libc] add spec for GNU function strchrnul and improve strchr

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

No internal representation change.

Resolve "[rte] pb. with floats in expr to term conversion"

Closes #744

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

Fixes different crashes related to Instantiate

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

[Eva] New option -eva-domains-function to enable domains by function

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

Even when no function is bound to the domain name (which should raise an error
anyway).