Labels

• architectural decision

  Discussion of design decision
• bug
• converter

  Related to converter package (translation of external specs)
• dependencies

  Pull requests that update a dependency file
• documentation
• duplicate
• examples
• generator

  Related to generator package (SPARK code generation)
• ide

  Related to GNAT Studio plugin
• invalid
• javascript

  Pull requests that update Javascript code
• model

  Related to model package (e.g., model verification)
• no changelog
• pyrflx

  Related to pyrflx package (Legacy Python API)
• question
• refactoring
• simulator

  Related to simulator package (Python API)
• small

  Effort of one person-day or less
• specification

  Related to specification package (e.g., specification parsing)
• testing
• topic

  Large feature/change
• valid?

  Check whether the ticket is (still) valid
• validator
• vulnerability