Labels

• accessibility

  accessibility

• big project

  big project

• bug

  bug

  Something isn't working

• discussion

  discussion

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• finalization

  finalization

• generics

  generics

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• invalid

  invalid

  This doesn't seem right

• iterators

  iterators

• low hanging fruit

  low hanging fruit

• memory

  memory

• meta

  meta

• quality of life

  quality of life

• question

  question

  Further information is requested

• repo

  repo

  PRs linked to the the internal structure of this repository

• RFC

  RFC

• safety

  safety

• semantics-altering

  semantics-altering

• small project

  small project

• SPARK-only

  SPARK-only

• STAT::design

  STAT::design

  There is a team allocated to work on the refinement of the RFC

• STAT::implementation

  STAT::implementation

  Working on the tool support.

• STAT::planning

  STAT::planning

  The proposal has been selected for detailed design work.

• STAT::production

  STAT::production

  The planned tool support is implemented.

• STAT::proposed

  STAT::proposed

  A proposal from the initiator, waiting for go-ahead

• STAT::ready-for-prototyping

  STAT::ready-for-prototyping

  The RFC is mature enough to start with the compiler support prototype.

• STAT::rejected

  STAT::rejected

  The discussions around the proposal concluded that the RFC will not be processed further