All pull requests

Pull requests

• feat(interpreter): add ctree-based module refinement predicate

  #1987·math-fehr opened Nov 4, 2026Collaborator·

  ·
  

• fix: reject trailing top-level input

  #1986·mavasbel opened Nov 4, 2026·

  ·
  1

  3

• feat(RegisterAllocation): RV64 register allocation pass with filecheck test cases

  #1984·ZejiaYang opened Nov 3, 2026Contributor·

  ·

• feat(interpreter): add CTree interpreter for builtin dialect

  #1982·math-fehr opened Nov 3, 2026Collaborator·3/3·

  ·
  

• feat(interpreter): generalize interpretOp' functions and lift Region effects

  #1980·math-fehr opened Nov 3, 2026Collaborator·2/3·

  ·
  

• feat(ctree): add more ctree lemmas about ub

  #1979·math-fehr opened Nov 3, 2026Collaborator·1/3·

  ·
  

• feat(legalizer): add the riscv pre-legalizer combiner pass

  #1977·naveen-seth opened Nov 3, 2026Contributor·

  ·
  2

• test: enforce in-place updates of IRContext

  #1974·casavaca opened Nov 3, 2026Contributor·

  ·
  2

• feat: erase unreachable blocks

  #1953·regehr opened Nov 1, 2026Collaborator·

  ·
  2

  

• Branch Lowering for RISCV

  #1944·tobiasgrosser opened Oct 30, 2026Collaborator·

  ·

• feat(seq): simulate a hw.module as a synchronous netlist

  #1938·stephenneuendorffer opened Oct 29, 2026Collaborator·

  ·

• feat(printer): collect a printed module into a String

  #1937·stephenneuendorffer opened Oct 29, 2026Collaborator·

  ·

• feat(comb): interpret division and remainder

  #1936·stephenneuendorffer opened Oct 29, 2026Collaborator·

  ·

• feat(comb): interpret parity, replicate and reverse

  #1935·stephenneuendorffer opened Oct 29, 2026Collaborator·

  ·

• feat(comb): interpret concatenation and extraction

  #1934·stephenneuendorffer opened Oct 29, 2026Collaborator·

  ·

• feat(comb): interpret mux

  #1933·stephenneuendorffer opened Oct 29, 2026Collaborator·

  ·

• feat(comb): interpret integer comparison

  #1932·stephenneuendorffer opened Oct 29, 2026Collaborator·

  ·

• feat(comb): interpret subtraction and the shifts

  #1931·stephenneuendorffer opened Oct 29, 2026Collaborator·

  ·
  3

• feat(comb): interpret the variadic integer operations

  #1930·stephenneuendorffer opened Oct 29, 2026Collaborator·

  ·
  6

• feat(legalizer): narrow i128 g_add and g_sub

  #1925·naveen-seth opened Oct 28, 2026Contributor·3/3·

  ·
  4

• feat(RegisterAllocation): a single-block register allocation pass for RISC-V dialect with infinite virtual registers

  #1918·ZejiaYang opened Oct 28, 2026Contributor·

  ·
  5

• feat(legalizer): lower carry-variant adds and subs

  #1900·naveen-seth opened Oct 27, 2026Contributor·2/3·

  ·
  12

• feat(dialects): add interpretOp Lemmas for branches in LLVM and RISC-V

  LLVMRISCV
  #1894·tobiasgrosser opened Oct 26, 2026Collaborator·

  ·
  6

  

• Lexer for Subset of LLVM Syntax

  #1828·AtticusKuhn opened Oct 23, 2026Contributor·

  ·
  1

  

• feat(rewriter): prove what erasing and replacing an operation do to operands

  #1797·tobiasgrosser opened Oct 20, 2026Collaborator·

  ·