Labels

• bug

  Something isn't working
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• math

  Foundational/theoretical work
• phase-1

  Phase 1: Foundations
• phase-2

  Phase 2: Traceability & Quick Wins
• phase-3

  Phase 3: Execution Semantics
• phase-4

  Phase 4: Analysis & Behavioral
• phase-5

  Phase 5: Research Frontier
• question

  Further information is requested
• roadmap

  Improvement roadmap item
• tier-0

  Tier 0: Correctness & Integrity
• tier-1

  Tier 1: High Priority
• tier-2

  Tier 2: Medium Priority
• tier-3

  Tier 3: Research Frontier
• verification

  Formal verification of GDS properties
• wontfix

  This will not be worked on