-
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
Surface the goal in refinement errors and omit trivial refinements
#466
opened Jul 5, 2026 by
alcides
Owner
Loading…
3 tasks done
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!
What’s not been updated in a month: updated:<2026-06-06.