Skip to content

Pull requests: opencompl/veir

New pull request New
23 Open 480 Closed
23 Open 480 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

Add EDyadic rounding, PackedFloat.round, and FastFloat with Float32 bridge
#531 opened May 8, 2026 by bollu Contributor • Draft
4 tasks done
1
Bitblastable Int type using dependently typed getValue
#530 opened May 8, 2026 by georgerennie Contributor • Draft
2
Bitblastable Int type using contextual simp
#529 opened May 8, 2026 by georgerennie Contributor • Draft
1
Improve inBounds lemmas for BlockPtr.setArguments
#527 opened May 8, 2026 by math-fehr Collaborator Loading…
@math-fehr
1
Introduce dependent typing into per-operation semantics
#517 opened May 7, 2026 by tobiasgrosser Collaborator • Draft
Naive LLVM memory interpretation LLVM The LLVM Dialect
#508 opened May 6, 2026 by nchappe Contributor • Draft
@nchappe
1
feat: unpack a PackedFloat into EScientificBV
#501 opened May 5, 2026 by bollu Contributor • Draft
@bollu
1
[WIP] dependently typed implementation of peephole rewrite verification
#492 opened May 2, 2026 by math-fehr Collaborator • Draft
1
hw: Parse hw.module and hw.output
#491 opened May 1, 2026 by georgerennie Contributor • Draft
@georgerennie
1
bitblasting LLVM.Int type: another alternative LLVM The LLVM Dialect
#490 opened May 1, 2026 by luisacicolini Contributor • Draft
@luisacicolini
1
[do not merge] fastNTT instructions
#458 opened Apr 24, 2026 by luisacicolini Contributor • Draft
4
bitblastable Int type and infra LLVM The LLVM Dialect
#457 opened Apr 23, 2026 by luisacicolini Contributor Loading…
@luisacicolini
60
Sparse Conditional Constant Propagation Analysis (SCCP)
#456 opened Apr 22, 2026 by axelcool1234 Contributor Loading…
[WIP] Current draft implementation of pattern rewrite verification
#455 opened Apr 22, 2026 by math-fehr Collaborator • Draft
1
tentative tactic to bitblast LLVM.Int w
#448 opened Apr 20, 2026 by luisacicolini Contributor • Draft
Verified parser
#435 opened Apr 19, 2026 by GZGavinZhao Collaborator • Draft
9
allow dialects to define getNumOperands
#428 opened Apr 18, 2026 by tobiasgrosser Collaborator • Draft
Tentative implementation of HasIRContext.
#417 opened Apr 13, 2026 by math-fehr Collaborator • Draft
@math-fehr
9
instruction selection: llvm.select
#398 opened Apr 11, 2026 by luisacicolini Contributor • Draft
Add standalone IRNode containment module
#346 opened Mar 28, 2026 by snarang181 Contributor Loading…
3 tasks done
18
Dataflow Analysis Framework
#264 opened Mar 3, 2026 by axelcool1234 Contributor Loading…
@axelcool1234
52
Improved error messages on parser failures
#213 opened Feb 18, 2026 by AlexanderViand Contributor • Draft
1
Dominance Analysis
#133 opened Jan 21, 2026 by axelcool1234 Contributor Loading…
@axelcool1234
29
ProTip! Updated in the last three days: updated:>2026-05-05.