-
Notifications
You must be signed in to change notification settings - Fork 44
Pull requests: strata-org/Strata
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Replace empty module name strings with validated ModuleName type
Python
Waiting-For-Review
#1151
opened May 8, 2026 by
joehendrix
Contributor
Loading…
Count Python .Call ASTs and categorize them into API/userfncall/facto…
Python
#1150
opened May 8, 2026 by
aqjune-aws
Contributor
•
Draft
Fix namespace collision and SMACK assert encoding in BoogieToStrata
Core
Waiting-For-Review
#1149
opened May 8, 2026 by
PROgram52bc
Contributor
Loading…
2
Add metadata to unstructured programs
Core
Waiting-For-Review
#1147
opened May 8, 2026 by
PROgram52bc
Contributor
Loading…
Fix bug: ADT constructors do not change
Map to Array when using useArrayTheory option.
Core
Waiting-For-Review
#1145
opened May 8, 2026 by
thanhnguyen-aws
Contributor
Loading…
Document the design of Laurel
Waiting-For-Review
#1144
opened May 8, 2026 by
tautschnig
Contributor
Loading…
Qualify nested-class references when lowering pyspec class fields
Python
Waiting-For-Review
#1143
opened May 8, 2026 by
tautschnig
Contributor
Loading…
Fix the small-step semantics of Imperative to consider block scopes for var initialization
Core
Waiting-For-Review
#1141
opened May 7, 2026 by
aqjune-aws
Contributor
Loading…
feat: introduce Provenance type and migrate metadata from FileRange
Core
GOTO
Laurel
Python
SMT
Waiting-For-Review
#1140
opened May 7, 2026 by
MikaelMayer
Contributor
Loading…
lake: build Strata lib as a test-driver dependency
dependencies
Pull requests that update a dependency file
#1138
opened May 7, 2026 by
tautschnig
Contributor
Loading…
ci: extract install-cvc5, install-z3, restore-lake-cache into composite actions
github_actions
Pull requests that update GitHub Actions code
Waiting-For-Review
#1137
opened May 7, 2026 by
tautschnig
Contributor
Loading…
Document the Python front-end
Waiting-For-Review
#1136
opened May 7, 2026 by
tautschnig
Contributor
Loading…
ANFEncoder: iterate to fixpoint to eliminate nested duplicates
Waiting-For-Review
#1135
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
GOTO
Laurel
Python
Waiting-For-Review
#1132
opened May 6, 2026 by
PROgram52bc
Contributor
Loading…
Unify pyAnalyzeLaurel error classification
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
#1128
opened May 6, 2026 by
kondylidou
Contributor
•
Draft
feat(transform): Add optional SSA transformation for Strata Core
Has 1 approval
#1127
opened May 5, 2026 by
sagjoshi
Loading…
Add dialect_option typecheck off to bypass DDM type checker
Python
Waiting-For-Review
#1125
opened May 5, 2026 by
joehendrix
Contributor
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
Waiting-For-Review
#1118
opened May 5, 2026 by
julesmt
Member
Loading…
Fix multi-output calls in expression position (Python front-end)
Laurel
Python
#1117
opened May 5, 2026 by
tautschnig
Contributor
•
Draft
Previous Next
ProTip!
Adding no:label will show everything without a label.