Search results

[FR] Verifier Pass

Status: Open.

#30 In pku-minic/koopa;

· hsqStephenZhang opened on May 13, 2026

Pretty Print Utilities

Status: Open.

#29 In pku-minic/koopa;

· hsqStephenZhang opened on Apr 2, 2026

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

Status: Open.

#28 In pku-minic/koopa;

· hsqStephenZhang opened on Apr 2, 2026

[TODO] Support parsing/adding annotations for values

Status: Open.

#27 In pku-minic/koopa;

· MaxXSoft opened on Mar 19, 2026

question: add index method for entities

Status: Open.

#26 In pku-minic/koopa;

· hsqStephenZhang opened on Mar 8, 2026

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

Status: Open.

#22 In pku-minic/koopa;

· hsqStephenZhang opened on Mar 3, 2026

test: more test cases

Status: Open.

#20 In pku-minic/koopa;

· hsqStephenZhang opened on Feb 16, 2026

feat: more passes

Status: Open.

#19 In pku-minic/koopa;

· hsqStephenZhang opened on Feb 16, 2026

Add more detailed description to the panic message

Status: Open.

#14 In pku-minic/koopa;

· semisemisea opened on Dec 10, 2025

[TODO] Support opaque pointers in LLVM IR generator

Status: Open.

#13 In pku-minic/koopa;

· MaxXSoft opened on Nov 15, 2025