Labels

• architectural decision

  architectural decision

  Discussion of design decision

• bug

  bug

• converter

  converter

  Related to converter package (translation of external specs)

• dependencies

  dependencies

  Pull requests that update a dependency file

• documentation

  documentation

• duplicate

  duplicate

• examples

  examples

• generator

  generator

  Related to generator package (SPARK code generation)

• ide

  ide

  Related to GNAT Studio plugin

• invalid

  invalid

• javascript

  javascript

  Pull requests that update Javascript code

• model

  model

  Related to model package (e.g., model verification)

• no changelog

  no changelog

• pyrflx

  pyrflx

  Related to pyrflx package (Legacy Python API)

• question

  question

• refactoring

  refactoring

• simulator

  simulator

  Related to simulator package (Python API)

• small

  small

  Effort of one person-day or less

• specification

  specification

  Related to specification package (e.g., specification parsing)

• testing

  testing

• topic

  topic

  Large feature/change

• valid?

  valid?

  Check whether the ticket is (still) valid

• validator

  validator

• vulnerability

  vulnerability