Labels

• a-ci/cd

  a-ci/cd

  Area: Continuous integration and delivery

• a-compiler

  a-compiler

  Area: The compiler and instrumentation

• a-fuzz

  a-fuzz

  Area: Integration with a fuzzer

• a-orch

  a-orch

  Area: The orchestrators

• a-pri

  a-pri

  Area: The program-runtime interface (PRI)

• a-runtime

  a-runtime

  Area: The runtime library and backends

• a-solver

  a-solver

  Area: The solver components and queries

• a-statistics

  a-statistics

  Area: Statistics to be collected during the execution

• a-stdlib

  a-stdlib

  Area: The standard library and its instrumentation

• blocked

  blocked

  Some other issue is preventing this from being completed

• bookmark

  bookmark

  Saving issues that hold valuable information

• bug

  bug

  Something isn't working

• c-complete

  c-complete

  Concern: Completeness

• c-sound

  c-sound

  Concern: Soundness

• c-symem

  c-symem

  Concern: Symbolic Memory and Addresses

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• epic

  epic

  A large-scale task that will be broken into multiple tasks.

• exploration

  exploration

  Requires studying and investigation

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• idea

  idea

  Ideas for the project

• invalid

  invalid

  This doesn't seem right

• optimization

  optimization

  Optimizations that may take place

• question

  question

  Further information is requested

• t-code

  t-code

  Type: Related to the code itself and not the functionality

• t-design

  t-design

  Type: Designing components and their interactions

• t-documentation

  t-documentation

  Type: Writing or improving documentation

• t-enhancement

  t-enhancement

  Type: Implementing new features or improvements to them