We use spin locks so as to not require Pthreads.

[kernel] Usable_emitter.get returns [orphan] when the emitter does not exists.

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

David Bühler authored 3 years ago and Andre Maroneze committed 3 years ago

Instead of raising a [Not_found] exception.
Fixes crashes when loading a Frama-C save when an original emitter is not
available.

[Variadic] add several wkeys

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

[WP] minor changes in tests

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

tests may not add missing ptest file

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

[WP] review of simplifications dedicated to list data type

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

Allan Blanchard authored 3 years ago and Patrick Baudin committed 3 years ago

- disable tactic in Sum mode when parameter in not a sum
- set description according to selected option