Skip to content

Pull requests: opencompl/veir

New pull request New
36 Open 817 Closed
36 Open 817 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

feat(riscv): select riscv.andn, riscv.orn, riscv.xnor
#901 opened Jun 20, 2026 by regehr Collaborator Loading…
feat: custom syntax a la TableGen
#900 opened Jun 20, 2026 by GZGavinZhao Collaborator • Draft
@GZGavinZhao
feat(riscv): add Zicond integer conditional operations
#899 opened Jun 19, 2026 by regehr Collaborator Loading…
2
feat(riscv): zext/sext/trunc proofs for legal types LLVM The LLVM Dialect
#898 opened Jun 19, 2026 by luisacicolini Contributor Loading…
@luisacicolini
6
feat(llvm): Script to port MIR patterns
#896 opened Jun 18, 2026 by osmanyasar05 Contributor Loading…
3
set lean release to leanprover/lean4:v4.31.0 CI GitHub Actions & Co
#894 opened Jun 18, 2026 by tobiasgrosser Collaborator Loading…
@tobiasgrosser
1
Feat: cse for gep incl. incomplete testing
#887 opened Jun 16, 2026 by salinhkuhn • Draft
1 task
2
Feat: chacha20 c impl. incl. current mlir output
#886 opened Jun 16, 2026 by salinhkuhn • Draft
8
RISCV shift immediate combines-- DO NOT MERGE
#871 opened Jun 14, 2026 by regehr Collaborator • Draft
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…
3
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…
4
test(EDyadicFloat): conformance vs FastFloat at matching (e,s,mode)
#793 opened Jun 8, 2026 by bollu Contributor Loading…
1
test(EDyadicFloat): conformance vs native Float32 and Float (FP64)
#792 opened Jun 8, 2026 by bollu Contributor Loading…
1
feat(EDyadicFloat): add/sub/mul/div with correctly-rounded results
#791 opened Jun 8, 2026 by bollu Contributor Loading…
1
feat(EDyadicFloat): EDyadicFloat type with ofPackedFloat/toPackedFloat
#790 opened Jun 8, 2026 by bollu Contributor Loading…
1
feat(EDyadic.DivRound): correctly-rounded EDyadic division
#789 opened Jun 8, 2026 by bollu Contributor Loading…
1
feat(EDyadic.Arith): exact add/sub/mul on EDyadic
#788 opened Jun 8, 2026 by bollu Contributor Loading…
1
feat(interpret): prove interpretOp' monotone
#774 opened Jun 7, 2026 by tobiasgrosser Collaborator • Draft
1
style(dataflow): made all strings in unittests be multiline.
#744 opened Jun 4, 2026 by axelcool1234 Collaborator • Draft
2
ci: use valgrind for a deterministic opcount
#679 opened May 29, 2026 by tobiasgrosser Collaborator • Draft
feat(dataflow): sparse constant propagation analysis
#660 opened May 28, 2026 by axelcool1234 Collaborator • Draft
feat(dataflow): dead code analysis
#659 opened May 28, 2026 by axelcool1234 Collaborator Loading…
3
ProTip! Filter pull requests by the default branch with base:main.