Skip to content

Pull requests: opencompl/veir

New pull request New
45 Open 975 Closed
45 Open 975 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

fix(IR): RegionPtr.setParent should take an Option
#1081 opened Jul 15, 2026 by ineol Collaborator Loading…
vcc --debug gives some debug logging.
#1080 opened Jul 15, 2026 by sishtiaq Collaborator • Draft
feat: Verify sym_name attribute on func.func and llvm.func
#1079 opened Jul 14, 2026 by naveen-seth Contributor Loading…
feat: Add lemmas about setArgumentValues? and the equation lemmas
#1076 opened Jul 13, 2026 by math-fehr Collaborator Loading…
@math-fehr
2
fix(parser): Parse more than utf8
#1072 opened Jul 13, 2026 by sishtiaq Collaborator Loading…
@sishtiaq
21
feat: Make Interpreter/ files modules
#1071 opened Jul 13, 2026 by math-fehr Collaborator Loading…
@math-fehr
2
feat(LLVM): prove monotonicity of the LLVM.Byte operations LLVM The LLVM Dialect
#1070 opened Jul 12, 2026 by tobiasgrosser Collaborator • Draft
@tobiasgrosser
feat(interpret): prove interpretOp' monotone for the riscv dialect RISCV The RISCV Dialect
#1069 opened Jul 12, 2026 by tobiasgrosser Collaborator Loading…
@tobiasgrosser
13
feat(riscv): Use the ! rewriter functions in the branch lowering RISCV The RISCV Dialect
#1065 opened Jul 12, 2026 by tobiasgrosser Collaborator Loading…
@tobiasgrosser
2
feat(veir-opt): teach optimizer about collections of passes
#1060 opened Jul 10, 2026 by regehr Collaborator Loading…
@regehr
3
Combine proofs
#1055 opened Jul 10, 2026 by tobiasgrosser Collaborator Loading…
feat: proof for same_val_zero_0
#1044 opened Jul 9, 2026 by osmanyasar05 Contributor Loading…
feat: prove correctness of the LLVM-dialect RISC-V combines
#1043 opened Jul 9, 2026 by tobiasgrosser Collaborator Loading…
1
feat(Rewriter): introduce eraseOp!/replaceValue! and clear remaining pass sorries
#968 opened Jul 1, 2026 by tobiasgrosser Collaborator Loading…
3
chore (mod_arith): add mod_arith cast reconciliation
#963 opened Jun 30, 2026 by AlexanderViand Contributor Loading…
feat(verifier): check dominance
#944 opened Jun 28, 2026 by regehr Collaborator Loading…
@regehr
18
feat(rewriter): RAUW + erase is safe
#936 opened Jun 27, 2026 by regehr Collaborator • Draft
@regehr
7
feat(bv_decide): veir_bv_decide_upto tactic
#912 opened Jun 23, 2026 by tobiasgrosser Collaborator Loading…
6
feat: custom syntax a la TableGen
#900 opened Jun 20, 2026 by GZGavinZhao Collaborator • Draft
@GZGavinZhao
3
Feat: cse for gep incl. incomplete testing
#887 opened Jun 16, 2026 by salinhkuhn Contributor • Draft
1 task
3
feat(cse): use dominance to make CSE work across blocks
#867 opened Jun 13, 2026 by regehr Collaborator • Draft
3
[WIP] progress on rewrite lifting
#866 opened Jun 13, 2026 by math-fehr Collaborator • Draft
1
feat(dataflow): sparse fact api
#859 opened Jun 12, 2026 by axelcool1234 Collaborator Loading…
9
feat(dataflow): sparse forward dataflow analysis api
#854 opened Jun 11, 2026 by axelcool1234 Collaborator • Draft
feat(ci): Also test with Lean debug builds
#822 opened Jun 10, 2026 by tobiasgrosser Collaborator Loading…
5
ProTip! Add no:assignee to see everything that’s not assigned.