Thibault Martin authored 1 year ago and Allan Blanchard committed 1 year ago

Use "\plugin::ext" instead of "ext"
  - allows for better warning messages
  - Ignored if plugin is not loaded / ext is not registered
  - raise an error if ext comes from a different plugin

- full_identifier accepts non-c keywords (list to be completed)
- logic_type rule is parameterized by the kind of typenames we accept
  (either only typenames or typenames + identifiers for rt_type
- on the other hand, logic_attributes cannot have the same name as
  an ACSL keyword.

Fixes #2638

original issue introduced here: b9a1eb43