Labels

• C: APIs

  The API exposed by the language
• C: Build

  Build system
• C: Codegen

  The final C code generation
• C: Docs

  Documentation
• C: Internal

  Implementation detail
• C: Language

  The semantics of the language
• C: Memory
• C: Prog Analysis

  Related to formal analysis, SMT, etc.
• C: Scheduling

  The scheduling language and APIs
• C: Testing

  Testing
• codex
• dependencies

  Pull requests that update a dependency file
• python

  Pull requests that update python code
• S: Available

  Available to be worked upon
• S: Blocked

  Work is blocked on another issue or PR
• S: Needs Discussion

  This needs discussion to decide if important to work
• S: Needs Triage

  Needs more information before being worked on
• T: Bug

  Something isn't working
• T: New feature

  Issue for new features
• Tracker

  Track a large project