- Only test the default config by default
- All tests (as in TEST_DIRS) are run by default
- `-a` option is now used to select all configs instead of all tests

[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.

To date most API functions return results with respect to a specific
lval. The added functions simply return all the alias sets of a given
state/stmt/function.

[e-acsl] fix untyped arguments due to exception

Closes #1388

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

Correctly compute `sizeof(L"wide string")`

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

[Ivette] add search on Names for properties

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

[wp] refactor prover selection and cleanup tests

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

[ivette] Server logs

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