All pull requests

Pull requests

• feat(ir): Implement mirros for Blocks and CFG chains

  #744·planza-quera opened Sep 24, 2026·

  ·

• Fix segfault on recursive kernels

  #743·nathanieltornow opened Sep 24, 2026Contributor·

  ·
  1

• Type inference types arithmetic on a bool as an int

  #742·nathanieltornow opened Sep 23, 2026Contributor·

  ·

• Literal tells equal data of different Python types apart

  #741·nathanieltornow opened Sep 23, 2026Contributor·

  ·

• feat(ir): Implement run_pass with Quarantined stage fallback

  #739·planza-quera opened Sep 22, 2026·2/2·

  ·

• refactor(ir): Split mirrors rebuilding into derive, install and verify

  #738·planza-quera opened Sep 21, 2026·1/2·

  ·

• ir.Method specialization on func.Invoke containing immutable known constants

  #735·zhenrongliew opened Sep 15, 2026Collaborator·

  ·
  1

  3

• Fix tuple getitem type inference at constant index 0

  #733·nathanieltornow opened Sep 11, 2026Contributor·

  ·

• Fix SCF loop type inference with bounded widening

  #730·nathanieltornow opened Sep 8, 2026Contributor·

  ·
  1

• Lower IList functional combinators to scf loops

  #728·nathanieltornow opened Sep 8, 2026Contributor·

  ·

• feat: first draft at kirin kernel debugger that generates HTML

  #715·jasonhan3 opened Aug 29, 2026Contributor·

  ·
  1

  3

• Generalize interpreter traversal over CFG, Block, DiGraph, and UnGraph bodies

  area: interpreterarea: Kirin-rsarea: Rust
  #684·zhenrongliew opened Jul 15, 2026Collaborator·

  ·
  2

  34

• Neelay/fix post inference

  area: compiler passcategory: enhancementpriority: low
  #617·neelay893 opened Mar 4, 2026Contributor·

  ·
  5

• joint analysis

  #217·Roger-luo opened Feb 11, 2025Collaborator·

  ·
  5

• draft pydantic schema for IR nodes

  area: IRcategory: featurepriority: low
  #94·Roger-luo opened Nov 7, 2024Collaborator·

  ·
  3