Skip to content

Pull requests: strata-org/Strata

New pull request New
72 Open 868 Closed
72 Open 868 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

Automate single page verso doc building via make Has 1 approval
#1193 opened May 20, 2026 by leo-leesco Loading…
@leo-leesco
feat(Boole): widening casts (e as_int) Core SMT Waiting-For-Review
#1191 opened May 20, 2026 by kondylidou Contributor Loading…
1
fix(eval): isolate Env.error at procedure boundary (issue #1185) Core Waiting-For-Review
#1190 opened May 19, 2026 by PROgram52bc Contributor Loading…
5 tasks done
1
Add CoreMatch dialect: surface pattern matching for Strata Core dependencies Pull requests that update a dependency file Waiting-For-Review
#1161 opened May 13, 2026 by julesmt Member Loading…
Add DDM grammar productivity checker with correctness proofs dependencies Pull requests that update a dependency file
#1156 opened May 12, 2026 by julesmt Member Loading…
4
Document the design of Laurel Waiting-For-Review
#1144 opened May 8, 2026 by tautschnig Contributor Loading…
@tautschnig
16
Document the Python front-end Waiting-For-Review
#1136 opened May 7, 2026 by tautschnig Contributor Loading…
@tautschnig
42
InferHoleTypes: recover param types for datatype destructors/testers Laurel Waiting-For-Review
#1134 opened May 6, 2026 by tautschnig Contributor Loading…
@MikaelMayer
5
Lift unlabeled block expressions emitted by Python-to-Laurel Laurel Waiting-For-Review
#1133 opened May 6, 2026 by tautschnig Contributor Loading…
@keyboardDrummer @ssomayyajula
13
Add Concrete Syntax for Unstructured Programs in Strata Core Core Git conflicts GOTO Laurel Python Waiting-For-Review
#1132 opened May 6, 2026 by PROgram52bc Contributor Loading…
84
Unify pyAnalyzeLaurel error classification Git conflicts Python Waiting-For-Review
#1131 opened May 6, 2026 by julesmt Member Loading…
@julesmt
10
Refactor: make prepend ordering explicit for imperative calls in expression position Laurel
#1130 opened May 6, 2026 by keyboardDrummer-bot Collaborator • Draft
@keyboardDrummer-bot
9
Struct/record type declarations with named field access in Boole Core CSLib PRs and issues marked with this label indicate contributions from/for the CSLib community. Git conflicts
#1128 opened May 6, 2026 by kondylidou Contributor • Draft
@kondylidou
5
feat(transform): Add optional SSA transformation for Strata Core Git conflicts Has 1 approval
#1127 opened May 5, 2026 by sagjoshi Loading…
@sagjoshi
22
Add type checking to Laurel resolution pass Laurel
#1121 opened May 5, 2026 by keyboardDrummer-bot Collaborator • Draft
1
@keyboardDrummer @leo-leesco
31
Python: skip Any_to_bool for bool-typed assert conditions (#1102) Python Waiting-For-Review
#1119 opened May 5, 2026 by julesmt Member Loading…
@julesmt
12
pyAnalyzeLaurel: classify UserError diagnostics as known limitations Git conflicts Waiting-For-Review
#1118 opened May 5, 2026 by julesmt Member Loading…
4
Fix multi-output calls in expression position (Python front-end) Laurel Python Waiting-For-Review
#1117 opened May 5, 2026 by tautschnig Contributor Loading…
@MikaelMayer
35
Formatting and debugging improvements Git conflicts Laurel Python Waiting-For-Review
#1115 opened May 5, 2026 by keyboardDrummer-bot Collaborator Loading…
@keyboardDrummer
10
Fix scoping bug in HeapParam pass Laurel Waiting-For-Review
#1113 opened May 5, 2026 by keyboardDrummer Contributor Loading…
@keyboardDrummer
36
fix(python): Coerce Composite args to Any at call sites Has 1 approval Python
#1106 opened May 5, 2026 by olivier-aws Contributor Loading…
@ssomayyajula
16
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
11
feat: Add Split-Solve-Reconcile workflow for cloud-based SMT solving Core Git conflicts Python
#1096 opened May 1, 2026 by olivier-aws Contributor • Draft
24
Add getIonDeserializer% and getIonSerializer% elaborators for generic Ion serialization Git conflicts Java
#1095 opened May 1, 2026 by keyboardDrummer-bot Collaborator • Draft
@keyboardDrummer
Skip benchmark job on fork PRs Git conflicts github_actions Pull requests that update GitHub Actions code Has 1 approval
#1094 opened May 1, 2026 by keyboardDrummer-bot Collaborator Loading…
@keyboardDrummer
1
ProTip! Adding no:label will show everything without a label.