[Cil] better handling of unops/binops in constFoldTerm

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

[ivette] Fix toolbar styling and added new icons

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

machdep: change format of custom_defs in yaml

Closes #1342

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

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