-
Notifications
You must be signed in to change notification settings - Fork 45
Pull requests: strata-org/Strata
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Automate single page verso doc building via
make
Has 1 approval
#1193
opened May 20, 2026 by
leo-leesco
Loading…
feat(Boole): widening casts (
e as_int)
Core
SMT
Waiting-For-Review
#1191
opened May 20, 2026 by
kondylidou
Contributor
Loading…
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
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…
Document the design of Laurel
Waiting-For-Review
#1144
opened May 8, 2026 by
tautschnig
Contributor
Loading…
Document the Python front-end
Waiting-For-Review
#1136
opened May 7, 2026 by
tautschnig
Contributor
Loading…
InferHoleTypes: recover param types for datatype destructors/testers
Laurel
Waiting-For-Review
#1134
opened May 6, 2026 by
tautschnig
Contributor
Loading…
Lift unlabeled block expressions emitted by Python-to-Laurel
Laurel
Waiting-For-Review
#1133
opened May 6, 2026 by
tautschnig
Contributor
Loading…
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…
Unify pyAnalyzeLaurel error classification
Git conflicts
Python
Waiting-For-Review
#1131
opened May 6, 2026 by
julesmt
Member
Loading…
Refactor: make prepend ordering explicit for imperative calls in expression position
Laurel
#1130
opened May 6, 2026 by
keyboardDrummer-bot
Collaborator
•
Draft
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
feat(transform): Add optional SSA transformation for Strata Core
Git conflicts
Has 1 approval
#1127
opened May 5, 2026 by
sagjoshi
Loading…
Add type checking to Laurel resolution pass
Laurel
#1121
opened May 5, 2026 by
keyboardDrummer-bot
Collaborator
•
Draft
Python: skip Any_to_bool for bool-typed assert conditions (#1102)
Python
Waiting-For-Review
#1119
opened May 5, 2026 by
julesmt
Member
Loading…
pyAnalyzeLaurel: classify UserError diagnostics as known limitations
Git conflicts
Waiting-For-Review
#1118
opened May 5, 2026 by
julesmt
Member
Loading…
Fix multi-output calls in expression position (Python front-end)
Laurel
Python
Waiting-For-Review
#1117
opened May 5, 2026 by
tautschnig
Contributor
Loading…
Formatting and debugging improvements
Git conflicts
Laurel
Python
Waiting-For-Review
#1115
opened May 5, 2026 by
keyboardDrummer-bot
Collaborator
Loading…
Fix scoping bug in HeapParam pass
Laurel
Waiting-For-Review
#1113
opened May 5, 2026 by
keyboardDrummer
Contributor
Loading…
fix(python): Coerce Composite args to Any at call sites
Has 1 approval
Python
#1106
opened May 5, 2026 by
olivier-aws
Contributor
Loading…
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…
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
Add
getIonDeserializer% and getIonSerializer% elaborators for generic Ion serialization
Git conflicts
Java
#1095
opened May 1, 2026 by
keyboardDrummer-bot
Collaborator
•
Draft
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…
Previous Next
ProTip!
Adding no:label will show everything without a label.