-
Notifications
You must be signed in to change notification settings - Fork 47
Pull requests: strata-org/Strata
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
CallElimCorrect: rewrite using small-step semantics
Core
#1306
opened Jun 1, 2026 by
PROgram52bc
Contributor
•
Draft
refactor: drop default MetaData on remaining transfer constructors (follow-up to #1196)
Core
Has 1 approval
#1305
opened May 29, 2026 by
PROgram52bc
Contributor
Loading…
4 of 5 tasks
Rename
List.Forall2 to Strata.List.Forall2 to avoid naming collision with Batteries
Waiting-For-Review
#1303
opened May 29, 2026 by
ngernest
Loading…
Fix Python for-loop translation: continue now advances the counter
Python
Waiting-For-Review
#1302
opened May 29, 2026 by
leo-leesco
Loading…
3 tasks done
Lambda type aliases: report arity mismatch instead of silent fallthrough
#1301
opened May 29, 2026 by
MikaelMayer
Contributor
•
Draft
docs(BooleFeatureRequests)
Waiting-For-Review
#1300
opened May 29, 2026 by
kondylidou
Contributor
Loading…
Boole: add test coverage for typed seq_of_* literal lowering
#1299
opened May 29, 2026 by
MikaelMayer
Contributor
•
Draft
Python FE (Re)architecture
Git conflicts
Laurel
Python
#1293
opened May 29, 2026 by
ssomayyajula
Contributor
•
Draft
Add README.md and AGENTS.md for BoogieToStrata
Waiting-For-Review
#1291
opened May 28, 2026 by
atomb
Contributor
Loading…
Add README.md and AGENTS.md for StrataBoole
Waiting-For-Review
#1290
opened May 28, 2026 by
atomb
Contributor
Loading…
Fix bugs in Function typing
Core
Waiting-For-Review
#1288
opened May 28, 2026 by
joscoh
Contributor
Loading…
Fix #1229: resolve chained type aliases and preserve user-supplied typeArgs
Waiting-For-Review
#1284
opened May 28, 2026 by
MikaelMayer
Contributor
Loading…
fix: use stderr .inherit in Solver.spawn to avoid SIGPIPE
SMT
#1283
opened May 28, 2026 by
MikaelMayer
Contributor
Loading…
Fix checkLeftRec panic when leading argument is NewlineSepBy
Has 1 approval
Java
#1281
opened May 28, 2026 by
MikaelMayer
Contributor
Loading…
Fix Core translator: local function declaration builds wrong arrow type for ≥3 distinct-type args
Core
Has 1 approval
#1280
opened May 28, 2026 by
MikaelMayer
Contributor
Loading…
DDM Elab:
DeclState.ofDialects panics under non-deterministic HashMap iteration order
#1269
opened May 27, 2026 by
MikaelMayer
Contributor
Loading…
DDM Elab: circular dialect imports recurse forever (no cycle check in loadDialectRec)
#1253
opened May 27, 2026 by
MikaelMayer
Contributor
Loading…
Allow function inlining in quantifiers
Core
Waiting-For-Review
#1225
opened May 27, 2026 by
thanhnguyen-aws
Contributor
Loading…
Overhaul test framework for Laurel
Core
Laurel
Python
Waiting-For-Review
#1223
opened May 27, 2026 by
leo-leesco
Loading…
Document Laurel passes and their dependencies, and other documentation updates
Laurel
Waiting-For-Review
#1222
opened May 27, 2026 by
keyboardDrummer
Contributor
Loading…
Examples using Lean to prove VCs of Core programs
Core
Waiting-For-Review
#1219
opened May 26, 2026 by
atomb
Contributor
Loading…
surface syntax casts for Boole and Core
Core
CSLib
PRs and issues marked with this label indicate contributions from/for the CSLib community.
Waiting-For-Review
#1218
opened May 26, 2026 by
kondylidou
Contributor
Loading…
Support transparent procedures
Core
Laurel
Python
Waiting-For-Review
#1215
opened May 26, 2026 by
keyboardDrummer
Contributor
Loading…
Merge main into main2
Core
dependencies
Pull requests that update a dependency file
Git conflicts
github_actions
Pull requests that update GitHub Actions code
GOTO
Laurel
Python
SMT
#1212
opened May 22, 2026 by
keyboardDrummer
Contributor
•
Draft
Previous Next
ProTip!
Follow long discussions with comments:>50.