Skip to content

Pull requests: strata-org/Strata

New pull request New
93 Open 931 Closed
93 Open 931 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

Add README.md and AGENTS.md for StrataCLI Waiting-For-Review
#1312 opened Jun 1, 2026 by atomb Contributor Loading…
3
Merge with main 2026 06 01 Core dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code GOTO Laurel Python SMT Waiting-For-Review
#1311 opened Jun 1, 2026 by aqjune-aws Contributor Loading…
Prove LExpr.resolve produces well-annotated terms Waiting-For-Review
#1309 opened Jun 1, 2026 by joscoh Contributor Loading…
Extract Python into standalone StrataPython package dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code Python Waiting-For-Review
#1308 opened Jun 1, 2026 by joehendrix Contributor Loading…
Split Python library into strata-base and strata-python packages Git conflicts github_actions Pull requests that update GitHub Actions code Python Waiting-For-Review
#1307 opened Jun 1, 2026 by joehendrix Contributor Loading…
CallElimCorrect: rewrite using small-step semantics Core
#1306 opened Jun 1, 2026 by PROgram52bc Contributor • Draft
refactor: drop default MetaData on remaining transfer constructors (follow-up to #1196) Core Has 1 approval
#1305 opened May 29, 2026 by PROgram52bc Contributor Loading…
4 of 5 tasks
Fix Python for-loop translation: continue now advances the counter Python Waiting-For-Review
#1302 opened May 29, 2026 by leo-leesco Loading…
3 tasks done
Lambda type aliases: report arity mismatch instead of silent fallthrough
#1301 opened May 29, 2026 by MikaelMayer Contributor • Draft
4
docs(BooleFeatureRequests) Waiting-For-Review
#1300 opened May 29, 2026 by kondylidou Contributor Loading…
2
Boole: add test coverage for typed seq_of_* literal lowering
#1299 opened May 29, 2026 by MikaelMayer Contributor • Draft
1
Python FE (Re)architecture Git conflicts Laurel Python
#1293 opened May 29, 2026 by ssomayyajula Contributor • Draft
Add README.md and AGENTS.md for BoogieToStrata Waiting-For-Review
#1291 opened May 28, 2026 by atomb Contributor Loading…
5
Add README.md and AGENTS.md for StrataBoole Waiting-For-Review
#1290 opened May 28, 2026 by atomb Contributor Loading…
16
Fix bugs in Function typing Core Waiting-For-Review
#1288 opened May 28, 2026 by joscoh Contributor Loading…
@joscoh
15
datatype support for smtvcs SMT
#1273 opened May 28, 2026 by kondylidou Contributor • Draft
3
Allow function inlining in quantifiers Core Waiting-For-Review
#1225 opened May 27, 2026 by thanhnguyen-aws Contributor Loading…
6
Overhaul test framework for Laurel Core Git conflicts Laurel Python Waiting-For-Review
#1223 opened May 27, 2026 by leo-leesco Loading…
15
Document Laurel passes and their dependencies, and other documentation updates Laurel Waiting-For-Review
#1222 opened May 27, 2026 by keyboardDrummer Contributor Loading…
11
Examples using Lean to prove VCs of Core programs Core Has 1 approval
#1219 opened May 26, 2026 by atomb Contributor Loading…
@atomb
6
surface syntax casts for Boole and Core Core CSLib PRs and issues marked with this label indicate contributions from/for the CSLib community. Waiting-For-Review
#1218 opened May 26, 2026 by kondylidou Contributor Loading…
11
Support transparent procedures Core Laurel Python Waiting-For-Review
#1215 opened May 26, 2026 by keyboardDrummer Contributor Loading…
39
Merge main into main2 Core dependencies Pull requests that update a dependency file Git conflicts github_actions Pull requests that update GitHub Actions code GOTO Laurel Python SMT
#1212 opened May 22, 2026 by keyboardDrummer Contributor • Draft
Merge main into main2 Core dependencies Pull requests that update a dependency file Git conflicts github_actions Pull requests that update GitHub Actions code GOTO Laurel Python SMT
#1211 opened May 22, 2026 by keyboardDrummer Contributor • Draft
pyspec: add --reject-approximations CLI flag Python Waiting-For-Review
#1208 opened May 21, 2026 by julesmt Member Loading…
5
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.