Skip to content

Pull requests: opencompl/veir

New pull request New
45 Open 1,334 Closed
45 Open 1,334 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(riscv): access constant values from the LLVM dialect correctly
#1473 opened Sep 15, 2026 by regehr Collaborator Loading…
@regehr
chore(lean) : update lean to version 4.34.0
#1472 opened Sep 15, 2026 by math-fehr Collaborator Loading…
@math-fehr
1
feat(legalization): make llvm.add widening proof width-generic (bounded)
#1471 opened Sep 15, 2026 by naveen-seth Contributor Loading…
2
feat(puddle): add denotational validity
#1470 opened Sep 15, 2026 by math-fehr Collaborator Loading…
@math-fehr
3
feat: CTree-based LLVM interpreter LLVM The LLVM Dialect
#1465 opened Sep 14, 2026 by nchappe Contributor Loading…
@nchappe
1
feat(LLVM): add poison tracking to pointers in interpreter LLVM The LLVM Dialect
#1463 opened Sep 13, 2026 by tobiasgrosser Collaborator Loading…
@tobiasgrosser
24
refactor(IR): make IntegerAttr carry an APInt (in spirit)
#1462 opened Sep 13, 2026 by tobiasgrosser Collaborator • Draft
WIP: Dataflow Printer
#1456 opened Sep 12, 2026 by axelcool1234 Collaborator • Draft
Alive memory model
#1455 opened Sep 12, 2026 by tobiasgrosser Collaborator • Draft
feat(interpreter): give memory blocks with a physical address space
#1454 opened Sep 12, 2026 by tobiasgrosser Collaborator Loading…
feat(dataflow): Dead code analysis improvements
#1451 opened Sep 12, 2026 by axelcool1234 Collaborator • Draft
feat(interfaces): getSuccessorForOperands in ControlFlowInterface
#1450 opened Sep 12, 2026 by axelcool1234 Collaborator Loading…
2
feat(IR): add the f80 and f128 float types
#1449 opened Sep 12, 2026 by tobiasgrosser Collaborator Loading…
@tobiasgrosser
3
feat: proofs for constant folding tables
#1441 opened Sep 10, 2026 by regehr Collaborator Loading…
@regehr
1
feat: escape string literals the way MLIR does
#1432 opened Sep 9, 2026 by tobiasgrosser Collaborator • Draft
feat(parser): support signed and unsigned integer types
#1414 opened Sep 7, 2026 by sueszli Contributor Loading…
1
9
feat(llzk): more local invariants checks (array), refactor common checks
#1389 opened Sep 4, 2026 by Maschmalow Contributor Loading…
3
feat(io): CTree Interpreter for I/O
#1384 opened Sep 4, 2026 by ArquintL Collaborator • Draft
1
feat(io): Interpreter for the I/O Dialect
#1379 opened Sep 4, 2026 by ArquintL Collaborator • Draft
6
feat(dataflow): known bits analysis
#1374 opened Sep 4, 2026 by axelcool1234 Collaborator • Draft
1
fix(parser): accept shorthand LLVM byte types
#1356 opened Sep 3, 2026 by sueszli Contributor Loading…
feat(RISCVCombines): add combines to speed-up ChaCha20
#1344 opened Sep 2, 2026 by tobias-rothmann Loading…
6
feat(llzk): add constraint deduplication pass
#1342 opened Sep 2, 2026 by AlexanderViand Contributor • 11/11 • Draft
feat(llzk): add String and Global dialects
#1340 opened Sep 2, 2026 by AlexanderViand Contributor • 6/11 Loading…
7
feat(llzk): add Felt combines
#1337 opened Sep 2, 2026 by AlexanderViand Contributor • 10/11 • Draft
ProTip! Filter pull requests by the default branch with base:main.