Skip to content

Pull requests: OMT-Global/axiom

New pull request New
53 Open 242 Closed
53 Open 242 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

Consolidate stage1 ownership and type-system conformance backlog
#529 opened May 6, 2026 by daedalus-omt Contributor Loading…
9
Consolidate mutable refs, numeric tower, and string ownership (#218, #220, #221)
#525 opened May 6, 2026 by daedalus-omt Contributor Loading…
3
5
stage1: add conformance fixture for ownership across dependency boundary (#344)
#517 opened May 3, 2026 by jmcte Collaborator Loading…
3 tasks
1
12
stage1: add conformance fixtures for string ownership (#334)
#516 opened May 3, 2026 by jmcte Collaborator Loading…
3 tasks
1
13
stage1: add conformance fixtures for slice type aliases (#335)
#515 opened May 3, 2026 by jmcte Collaborator Loading…
3 tasks
1
stage1: upgrade rebind diagnostic to ownership kind with stable code (#331)
#514 opened May 3, 2026 by jmcte Collaborator Loading…
3 tasks
1
4
stage1: add conformance fixtures for mutable borrow boundary errors (#329)
#513 opened May 3, 2026 by jmcte Collaborator Loading…
3 tasks
1
6
stage1: add conformance fixtures for borrow escape detection (#333)
#512 opened May 3, 2026 by jmcte Collaborator Loading…
3 tasks
1
16
fix: address issue #420
#505 opened May 2, 2026 by apollo-omt Collaborator Loading…
1
4
fix: address issue #421
#504 opened May 2, 2026 by apollo-omt Collaborator Loading…
1
2
Add stable import cycle diagnostics
#475 opened Apr 29, 2026 by jmcte Collaborator Loading…
1
@ares-omt
5
Expose package public API summaries
#474 opened Apr 29, 2026 by jmcte Collaborator Loading…
1
4
Add locked offline build mode
#473 opened Apr 29, 2026 by jmcte Collaborator Loading…
6 tasks done
1
Add stage1 JSON contract snapshots
#472 opened Apr 29, 2026 by jmcte Collaborator Loading…
7 tasks done
2
2
Quality: add non-blocking stage1 CRAP threshold proposal
#469 opened Apr 29, 2026 by jmcte Collaborator Loading…
6 tasks done
1
Bench: report stage1 Go and Rust workload comparisons
#471 opened Apr 29, 2026 by jmcte Collaborator Loading…
6 tasks done
1
6
Add formatter JSON planning output
#467 opened Apr 29, 2026 by jmcte Collaborator Loading…
7 tasks done
1
3
Strengthen AG5 proof worker workload
#465 opened Apr 29, 2026 by jmcte Collaborator Loading…
7 tasks done
1
2
Strengthen AG5 proof CLI workload
#462 opened Apr 29, 2026 by jmcte Collaborator Loading…
7 tasks done
1
4
Add axiomc new workload templates
#461 opened Apr 29, 2026 by jmcte Collaborator Loading…
5 tasks done
1
3
Add axiomc test list mode
#460 opened Apr 29, 2026 by jmcte Collaborator Loading…
6 tasks done
1
Expose stdout stderr test contract
#459 opened Apr 29, 2026 by jmcte Collaborator Loading…
5 tasks done
1
Add doc generator JSON surface
#458 opened Apr 29, 2026 by jmcte Collaborator Loading…
6 tasks done
1
3
Harden env capability diagnostics
#457 opened Apr 29, 2026 by jmcte Collaborator Loading…
6 tasks done
1
Add publish manifest contract validation
#456 opened Apr 29, 2026 by jmcte Collaborator Loading…
4 tasks done
1
1
ProTip! Follow long discussions with comments:>50.