Labels

• area:python

  Python frontend (kmir)
• area:semantics

  K semantics definitions
• area:stable-mir-json

  SMIR JSON generation tool
• area:types

  Type system
• automerge
• bug

  Something isn't working
• discussion

  anything like a suggestion, a question, a proposal
• documentation

  Improvements or additions to documentation
• futurework

  features after kmir is majorly done
• k-tooling

  integration with K tools
• kind:docs

  Documentation
• kind:perf

  Performance improvement
• kind:refactor

  Code restructuring
• kind:test

  Test improvement
• kmir-prove

  prover support
• kmir-tests

  Adding/updating tests in KMIR
• mir-parser

  MIR syntax in K
• mir-semantics

  MIR semantics in K
• new feature

  adding a new feature to the K-tooling
• P-token

  required for supporting P-token code
• P-Token M2
• priority:p0

  Critical path / most important now
• priority:p1

  Important but not most urgent
• priority:p2

  Valuable but can wait
• refactor

  Tool Improvement
• status:blocked

  Waiting on explicit precondition
• status:icebox

  Valuable but not being pursued now
• status:in-progress

  Actively being worked on
• status:ready

  Clear and approved by human
• status:review

  Implementation done, awaiting review