Skip to content

Pull requests: keyboardDrummer/Strata

New pull request New
17 Open 12 Closed
17 Open 12 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

Use mapStmtExprChildrenM to simplify transformExpr Laurel
#44 opened May 6, 2026 by keyboardDrummer-bot Collaborator • Draft
@keyboardDrummer
1
Fix LiftImperativeExpression prepend ordering Laurel
#41 opened May 6, 2026 by keyboardDrummer-bot Collaborator • Draft
1
@keyboardDrummer
1
Improve block formatting and diagnostic reporting Laurel Python
#38 opened May 5, 2026 by keyboardDrummer-bot Collaborator Loading…
@keyboardDrummer
1
Make type of Assign more specific with Variable inductive Git conflicts PR has merge conflicts with the base branch Laurel Python
#36 opened May 5, 2026 by keyboardDrummer-bot Collaborator • Draft
1
1
Add EliminateReturnStatements and ContractPass with functional $post Laurel
#35 opened May 5, 2026 by keyboardDrummer-bot Collaborator • Draft
@keyboardDrummer
1
Add EliminateReturnStatements and ContractPass Laurel Python
#34 opened May 5, 2026 by keyboardDrummer-bot Collaborator • Draft
@keyboardDrummer
2
Add devcontainer configuration
#33 opened May 1, 2026 by keyboardDrummer-bot Collaborator • Draft
1
@keyboardDrummer
6
Merge PR #1076 and PR #1077 Git conflicts PR has merge conflicts with the base branch GOTO Laurel Python
#31 opened May 1, 2026 by keyboardDrummer-bot Collaborator • Draft
1
@keyboardDrummer
3
Add contract and transparency pass Core Laurel Python
#28 opened Apr 23, 2026 by keyboardDrummer Owner • Draft
15
Split Assign into local variable and field assignment Git conflicts PR has merge conflicts with the base branch Laurel Python
#20 opened Apr 22, 2026 by keyboardDrummer-bot Collaborator • Draft
1
@keyboardDrummer
1
Support functions with multiple outputs (EliminateMultipleOutputs pass) Git conflicts PR has merge conflicts with the base branch Laurel
#18 opened Apr 21, 2026 by keyboardDrummer-bot Collaborator • Draft
@keyboardDrummer
5
Add contract and transparency pass Core Git conflicts PR has merge conflicts with the base branch GOTO Laurel Python SMT
#16 opened Apr 21, 2026 by keyboardDrummer Owner • Draft
13
WIP: Replace Laurel DDM grammar with bidirectional parser combinators
#8 opened Apr 9, 2026 by keyboardDrummer-bot Collaborator • Draft
1
3
Add getIonDeserializer% elaborator for generic Ion deserialization Java
#7 opened Apr 9, 2026 by keyboardDrummer-bot Collaborator • Draft
1
21
Laurel-to-Core translator expansion with grammar improvements Git conflicts PR has merge conflicts with the base branch
#4 opened Jan 23, 2026 by fabiomadge • Draft
Expand Laurel implementation, so that tests T2 (impure expressions) and T3 (dag control flow) pass as well Git conflicts PR has merge conflicts with the base branch
#2 opened Dec 18, 2025 by keyboardDrummer Owner • Draft
Laurel parsing Git conflicts PR has merge conflicts with the base branch
#1 opened Dec 3, 2025 by keyboardDrummer Owner • Draft
ProTip! no:milestone will show everything without a milestone.