Christophe Junke authored 1 year ago and Virgile Prevosto committed 11 months ago

Instead of a raw string from the preprocessor, keep track of macro
definitions as a key/value list. This is a preliminary step towards
allowing the user to override some of these variables.

[Eva] Only prepares cvalue builtins once. Fixes [is_builtin_overridden].

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

[Eva] Removes support for widening pragmas.

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

Resolve "Remove deprecated functions string_prefix/suffix from Extlib"

Closes #1283

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

Merge branch 'fix/martin/kernel/1337-activating-typing-chunk-msg-key-leads-to-an-error' into 'master'

Resolve "Activating typing:chunk msg key leads to an error"

Closes #1337

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

[doc] proof read developer man

Closes #1321

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

They have been replaced by widen_hints ACSL extension a long time ago.

[wp] fix extension usage

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

[Eva] Uses the new kernel API to set the current location.

Closes #1381

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

Abort properly when a function is redefined

Closes #1360

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

[dome/forms] added useController hook

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

[alias] new API functions for getting the alias sets of a state

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

[dome/forms] fix useForceUpdate() + commited state added to useBuffer() + status function added for fieldState

No need to reset the current location after the analysis of a function or
after calling a visitor, as the new API ensures that this is the case.