Skip to content

Pull requests: strata-org/Strata

New pull request New
79 Open 800 Closed
79 Open 800 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

fix(python): Coerce Composite args to Any at call sites Python
#1106 opened May 5, 2026 by olivier-aws Contributor • Draft
fix : Issue 1102 Python Waiting-For-Review
#1105 opened May 4, 2026 by julesmt Contributor Loading…
1
4
Add correctness of the term creators in SMT/Factory.lean SMT Waiting-For-Review
#1103 opened May 4, 2026 by aqjune-aws Contributor Loading…
@aqjune-aws
4
Core: Sequence bounds preconditions and VC-printer fallback fix Core Has 1 approval
#1100 opened May 2, 2026 by fabiomadge Contributor Loading…
@fabiomadge
19
Add "Heap reference monotone" post condition for procedures that modify the Heap Laurel Python Waiting-For-Review
#1099 opened May 1, 2026 by thanhnguyen-aws Contributor Loading…
@thanhnguyen-aws
7
Add --skip-verification flag to pyAnalyzeLaurel Has 1 approval
#1097 opened May 1, 2026 by joehendrix Contributor Loading…
@joehendrix
1
feat: Add Split-Solve-Reconcile workflow for cloud-based SMT solving Core Python
#1096 opened May 1, 2026 by olivier-aws Contributor • Draft
20
Add getIonDeserializer% and getIonSerializer% elaborators for generic Ion serialization Java
#1095 opened May 1, 2026 by keyboardDrummer-bot Collaborator • Draft
@keyboardDrummer
Skip benchmark job on fork PRs github_actions Pull requests that update GitHub Actions code Has 1 approval
#1094 opened May 1, 2026 by keyboardDrummer-bot Collaborator Loading…
@keyboardDrummer
1
Unify pipeline warning/error reporting into PipelineMessages module Python
#1093 opened May 1, 2026 by joehendrix Contributor • Draft
@joehendrix
5
Add termination checking for recursive functions Core Python Waiting-For-Review
#1092 opened May 1, 2026 by joscoh Contributor Loading…
19
Eliminate redundant exception checks in try/except bodies Has 1 approval Python
#1091 opened Apr 30, 2026 by tautschnig Contributor Loading…
@MikaelMayer
6
docs: Add exit-semantics design documentation Waiting-For-Review
#1080 opened Apr 30, 2026 by seebees Loading…
Generalize multi-target assign so it supports intertwined declarations, local assignments and field assignments GOTO Laurel Python
#1077 opened Apr 29, 2026 by keyboardDrummer-bot Collaborator Loading…
1
@keyboardDrummer
92
Boole language extensions for dalek-lite benchmarks Core SMT Waiting-For-Review
#1075 opened Apr 29, 2026 by kondylidou Contributor Loading…
Fix generic type inference Core
#1074 opened Apr 29, 2026 by Dragon-Hatcher • Draft
feat(laurel): Seq<T> and Array<T> with bounds-checked subscript and diagnostics Core Laurel Python
#1073 opened Apr 29, 2026 by fabiomadge Contributor • Draft
Core Expression metadata Core github_actions Pull requests that update GitHub Actions code Laurel Python
#1066 opened Apr 28, 2026 by MikaelMayer Contributor • Draft
43
Fix field access resolution: do not treat field names as variables Git conflicts Laurel Waiting-For-Review
#1064 opened Apr 28, 2026 by tautschnig Contributor Loading…
@tautschnig
12
Use fresh type variable instead of Error as dummy type for failed type inference dependencies Pull requests that update a dependency file Git conflicts Laurel Waiting-For-Review
#1063 opened Apr 28, 2026 by tautschnig Contributor Loading…
@tautschnig
23
Robin aws/lake skimmer dependencies Pull requests that update a dependency file
#1061 opened Apr 28, 2026 by robin-aws Contributor • Draft
Add basic support for del key word in Python->Laurel Has 1 approval Python
#1054 opened Apr 27, 2026 by thanhnguyen-aws Contributor Loading…
@ssomayyajula @thanhnguyen-aws
5
Feature request: Parallel solving Core Laurel
#1046 opened Apr 24, 2026 by MikaelMayer Contributor • Draft
2 tasks
1
25
feat(transform): Add optional SSA transformation for Strata Core Waiting-For-Review
#1044 opened Apr 24, 2026 by sagjoshi Loading…
3
Add support for List append Git conflicts Python Waiting-For-Review
#1043 opened Apr 24, 2026 by thanhnguyen-aws Contributor Loading…
@thanhnguyen-aws
1
ProTip! Adding no:label will show everything without a label.