Labels

• 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
• 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
• refactor

  Tool Improvement