Labels

• area:python

  area:python

  Python frontend (kmir)

• area:semantics

  area:semantics

  K semantics definitions

• area:stable-mir-json

  area:stable-mir-json

  SMIR JSON generation tool

• area:types

  area:types

  Type system

• automerge

  automerge

• bug

  bug

  Something isn't working

• codex:auto-implement

  codex:auto-implement

  Enable PR Auto Implement workflow

• codex:pause

  codex:pause

  Pause PR Auto Implement workflow

• discussion

  discussion

  anything like a suggestion, a question, a proposal

• documentation

  documentation

  Improvements or additions to documentation

• futurework

  futurework

  features after kmir is majorly done

• k-tooling

  k-tooling

  integration with K tools

• kind:docs

  kind:docs

  Documentation

• kind:perf

  kind:perf

  Performance improvement

• kind:refactor

  kind:refactor

  Code restructuring

• kind:test

  kind:test

  Test improvement

• kmir-prove

  kmir-prove

  prover support

• kmir-tests

  kmir-tests

  Adding/updating tests in KMIR

• mir-parser

  mir-parser

  MIR syntax in K

• mir-semantics

  mir-semantics

  MIR semantics in K

• new feature

  new feature

  adding a new feature to the K-tooling

• P-token

  P-token

  required for supporting P-token code

• P-Token M2

  P-Token M2

• priority:p0

  priority:p0

  Critical path / most important now

• priority:p1

  priority:p1

  Important but not most urgent

• priority:p2

  priority:p2

  Valuable but can wait

• refactor

  refactor

  Tool Improvement

• status:blocked

  status:blocked

  Waiting on explicit precondition

• status:icebox

  status:icebox

  Valuable but not being pursued now

• status:in-progress

  status:in-progress

  Actively being worked on