Skip to content

Pull requests: opencompl/veir

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Interpret cf.br
#418 opened Apr 14, 2026 by nchappe Contributor Loading…
Tentative implementation of HasIRContext.
#417 opened Apr 13, 2026 by math-fehr Collaborator Draft
instruction selection: llvm.select
#398 opened Apr 11, 2026 by luisacicolini Contributor Draft
WIP work on proving a peephole rewrite
#390 opened Apr 9, 2026 by math-fehr Collaborator Draft
Add standalone IRNode containment module
#346 opened Mar 28, 2026 by snarang181 Contributor Loading…
3 tasks done
Add invariant that nextID is free
#324 opened Mar 23, 2026 by ineol Collaborator Draft
Draft: Dataflow Analysis Framework
#264 opened Mar 3, 2026 by axelcool1234 Contributor Draft
Verified parser
#222 opened Feb 19, 2026 by GZGavinZhao Collaborator Loading…
Improved error messages on parser failures
#213 opened Feb 18, 2026 by AlexanderViand Contributor Draft
Draft: Dominance Tree
#133 opened Jan 21, 2026 by axelcool1234 Contributor Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.