Skip to content

Pull requests: TsekaLuk/aether

New pull request New
3 Open 0 Closed
3 Open 0 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

spec: add orthogonal K0 source provenance
#10 opened Aug 10, 2026 by TsekaLuk Owner Loading…
Specify deterministic K0 name resolution and resolved ASR
#9 opened Aug 10, 2026 by TsekaLuk Owner Loading…
1
Advance G0 syntax, layer, and proof boundaries area:formal-methods Mechanized metatheory and proof checking area:layering K0/K1/K2 isolation and feature reachability area:semantics Core static or dynamic semantics status:no-go Durable implementation work is not authorized
#8 opened Aug 10, 2026 by TsekaLuk Owner Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.