Skip to content

Pull requests: strata-org/Strata

New pull request New
103 Open 816 Closed
103 Open 816 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 DDM grammar productivity checker with correctness proofs dependencies Pull requests that update a dependency file Waiting-For-Review
#1156 opened May 12, 2026 by julesmt Member Loading…
Fix #1146: require command_datatypes to be non-empty Core Waiting-For-Review
#1155 opened May 11, 2026 by tautschnig Contributor Loading…
1
@atomb
2
Fix free variable issue in Boole CSLib PRs and issues marked with this label indicate contributions from/for the CSLib community. Waiting-For-Review
#1153 opened May 10, 2026 by kondylidou Contributor Loading…
1
6
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
21
Add metadata to unstructured programs Core Waiting-For-Review
#1147 opened May 8, 2026 by PROgram52bc Contributor Loading…
@PROgram52bc
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…
2
Document the design of Laurel Waiting-For-Review
#1144 opened May 8, 2026 by tautschnig Contributor Loading…
@tautschnig
16
Qualify nested-class references when lowering pyspec class fields Python Waiting-For-Review
#1143 opened May 8, 2026 by tautschnig Contributor Loading…
@tautschnig
7
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…
1
@aqjune-aws
8
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…
1
49
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…
@tautschnig
1
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…
4
Document the Python front-end Waiting-For-Review
#1136 opened May 7, 2026 by tautschnig Contributor Loading…
@tautschnig
42
ANFEncoder: iterate to fixpoint to eliminate nested duplicates Waiting-For-Review
#1135 opened May 7, 2026 by tautschnig Contributor Loading…
@tautschnig
4
InferHoleTypes: recover param types for datatype destructors/testers Laurel Waiting-For-Review
#1134 opened May 6, 2026 by tautschnig Contributor Loading…
@tautschnig
2
Lift unlabeled block expressions emitted by Python-to-Laurel Laurel Waiting-For-Review
#1133 opened May 6, 2026 by tautschnig Contributor Loading…
@tautschnig
4
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…
75
Unify pyAnalyzeLaurel error classification Python Waiting-For-Review
#1131 opened May 6, 2026 by julesmt Member Loading…
@julesmt
9
Refactor: make prepend ordering explicit for imperative calls in expression position Laurel
#1130 opened May 6, 2026 by keyboardDrummer-bot Collaborator • Draft
@keyboardDrummer-bot
6
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.
#1128 opened May 6, 2026 by kondylidou Contributor • Draft
@kondylidou
5
feat(transform): Add optional SSA transformation for Strata Core Has 1 approval
#1127 opened May 5, 2026 by sagjoshi Loading…
@sagjoshi
22
Add dialect_option typecheck off to bypass DDM type checker Python Waiting-For-Review
#1125 opened May 5, 2026 by joehendrix Contributor Loading…
8
Add type checking to Laurel resolution pass Laurel
#1121 opened May 5, 2026 by keyboardDrummer-bot Collaborator • Draft
1
@keyboardDrummer @leo-leesco
12
ProTip! Adding no:label will show everything without a label.