Issues

• [FR] Verifier Pass

  pku-minic/koopa#30 · Filter by author hsqStephenZhang opened on May 13, 2026
  4

• Pretty Print Utilities

  pku-minic/koopa#29 · Filter by author hsqStephenZhang opened on Apr 2, 2026

• Is it reasonable to add API for adding params for a BasicBlock?

  pku-minic/koopa#28 · Filter by author hsqStephenZhang opened on Apr 2, 2026
  1

• [TODO] Support parsing/adding annotations for values

  pku-minic/koopa#27 · Filter by author MaxXSoft opened on Mar 19, 2026
  

• question: add index method for entities

  pku-minic/koopa#26 · Filter by author hsqStephenZhang opened on Mar 8, 2026
  3

• question(interpreter): what's the semantics for overflow

  pku-minic/koopa#22 · Filter by author hsqStephenZhang opened on Mar 3, 2026
  1

• test: more test cases

  pku-minic/koopa#20 · Filter by author hsqStephenZhang opened on Feb 16, 2026
  6

• feat: more passes

  pku-minic/koopa#19 · Filter by author hsqStephenZhang opened on Feb 16, 2026
  1

• Add more detailed description to the panic message

  pku-minic/koopa#14 · Filter by author semisemisea opened on Dec 10, 2025
  3

• [TODO] Support opaque pointers in LLVM IR generator

  pku-minic/koopa#13 · Filter by author MaxXSoft opened on Nov 15, 2025