Labels

• a-ci/cd

  Area: Continuous integration and delivery
• a-compiler

  Area: The compiler and instrumentation
• a-fuzz

  Area: Integration with a fuzzer
• a-orch

  Area: The orchestrators
• a-pri

  Area: The program-runtime interface (PRI)
• a-runtime

  Area: The runtime library and backends
• a-solver

  Area: The solver components and queries
• a-statistics

  Area: Statistics to be collected during the execution
• a-stdlib

  Area: The standard library and its instrumentation
• blocked

  Some other issue is preventing this from being completed
• bookmark

  Saving issues that hold valuable information
• bug

  Something isn't working
• c-complete

  Concern: Completeness
• c-sound

  Concern: Soundness
• c-symem

  Concern: Symbolic Memory and Addresses
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• epic

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

  Requires studying and investigation
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• idea

  Ideas for the project
• invalid

  This doesn't seem right
• optimization

  Optimizations that may take place
• question

  Further information is requested
• t-code

  Type: Related to the code itself and not the functionality
• t-design

  Type: Designing components and their interactions
• t-documentation

  Type: Writing or improving documentation
• t-enhancement

  Type: Implementing new features or improvements to them