-
Notifications
You must be signed in to change notification settings - Fork 9
Pull requests: SiliconEinstein/Gaia
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(cli): update LKM API contract follow-ups
#779
opened Jun 30, 2026 by
huangy22
Contributor
Loading…
refactor(lang): make composition the canonical name; deprecate compose
#760
opened Jun 10, 2026 by
kunyuan
Contributor
Loading…
docs(skills): extend coarse weak-point independence check to Pattern 3
#723
opened May 29, 2026 by
kunyuan
Contributor
Loading…
1 of 2 tasks
refactor(skills): orthogonalize formalize-coarse and formalize-fine
#693
opened May 22, 2026 by
kunyuan
Contributor
Loading…
feat(packaging): non-invasive embedded layout + ARM/ARA projector + formalize/lock-check
#687
opened May 20, 2026 by
atom525
Contributor
Loading…
10 tasks done
docs(for-users): formalization how-to with 4 belief-debug toy packages (supersedes #650)
#653
opened May 17, 2026 by
kunyuan
Contributor
Loading…
6 tasks done
feat(scripts): review_trees.py — IR → review-tree decomposition prototype
#643
opened May 17, 2026 by
kunyuan
Contributor
Loading…
4 of 5 tasks
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.