-
Notifications
You must be signed in to change notification settings - Fork 5
Pull requests: alcides/aeon
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(lsp): enrich infoView with errors, VC steps, and synthesizers
#469
opened Jul 12, 2026 by
alcides
Owner
Loading…
2 of 3 tasks
feat(optimization): eliminate dead branches using liquid refinements (#114)
#463
opened Jul 2, 2026 by
alcides
Owner
Loading…
4 tasks done
refactor: decompose synth/check into helpers in typeinfer.py
#425
opened Jun 24, 2026 by
alcides
Owner
Loading…
Add CUDA Examples/Improve CUDA robustness
#202
opened Apr 27, 2026 by
SousaTrashBin
Collaborator
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.