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

24 labels