[Eva] Never emit alarms on mod operations

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

[WP] remove wp_region (and memRegion)

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

[kernel] add wkey 'project' for save/load warnings

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

Cécile Ruet-Cros authored 7 months ago and Loïc Correnson committed 7 months ago

# Conflicts:
#	ivette/yarn.lock

[region] merge copy

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

[ivette] doc compiles

Closes #1434

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

[alias] no longer classify virtually all casts as unsafe

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

We only consider casts as unsafe if they transform a scalar into a
pointer or vice versa, or more precisely when the level of indirection
is changed.

[kernel] avoid special case when prettifying paths inside PWD

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

[dune] make lang version coherent

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

[kernel] New function Logic_builtin.register.

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

David Bühler authored 7 months ago and Allan Blanchard committed 7 months ago

Registers a logic builtin in all projects, and not only in the current one.

[dune] avoid 'cat' in configurator for better Windows compatibility

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

Move theMachine out of Cil

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

Compute (post)dominators analysis using interpreted automata

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