-
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
refactor(lang): make composition the canonical name; deprecate compose
#760
opened Jun 10, 2026 by
kunyuan
Contributor
Loading…
Feature/release branch strategy v2
#758
opened Jun 9, 2026 by
Barret-ma
Contributor
Loading…
1 of 6 tasks
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!
Type g i on any issue or pull request to go back to the issue listing page.