Skip to content

Pull requests: strata-org/Strata

New pull request New
93 Open 938 Closed
93 Open 938 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 composite GitHub Actions for lint scripts github_actions Pull requests that update GitHub Actions code Has 1 approval
#1322 opened Jun 3, 2026 by shigoel Contributor Loading…
2 tasks
1
feat(laurel): add Java-style ++ and -- operators Laurel Waiting-For-Review
#1320 opened Jun 3, 2026 by olivier-aws Contributor Loading…
Fix/precond and conjunction main2 Waiting-For-Review
#1318 opened Jun 3, 2026 by kondylidou Contributor Loading…
6
fix(eval): clear Env.deferred on false branch of CFG condGoto Core Waiting-For-Review
#1317 opened Jun 2, 2026 by PROgram52bc Contributor Loading…
4 tasks done
Add --typed-python: native lowering for annotated Python primitives and containers Laurel Python Waiting-For-Review
#1315 opened Jun 2, 2026 by julesmt Member Loading…
4 tasks done
Exclude hidden files from the lake cache hash github_actions Pull requests that update GitHub Actions code Waiting-For-Review
#1313 opened Jun 2, 2026 by keyboardDrummer Contributor Loading…
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 Has 1 approval Laurel Python SMT
#1311 opened Jun 1, 2026 by aqjune-aws Contributor Loading…
20
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 Waiting-For-Review
#1306 opened Jun 1, 2026 by PROgram52bc Contributor Loading…
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
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…
3
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
Fix bugs in Function typing Core Waiting-For-Review
#1288 opened May 28, 2026 by joscoh Contributor Loading…
@joscoh
23
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 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…
16
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…
12
Support transparent procedures Core Laurel Python Waiting-For-Review
#1215 opened May 26, 2026 by keyboardDrummer Contributor Loading…
50
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…
6
ProTip! Exclude everything labeled bug with -label:bug.