-
Notifications
You must be signed in to change notification settings - Fork 49
Pull requests: strata-org/Strata
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
CallElimCorrect: lift _terminal to polymorphic {f : Bool}
Core
Waiting-For-Review
#1340
opened Jun 7, 2026 by
PROgram52bc
Contributor
Loading…
5 of 9 tasks
Remove StrataDDM from the Strata repository
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
Waiting-For-Review
#1339
opened Jun 5, 2026 by
atomb
Contributor
Loading…
Fix evaluator scoping in Imperative small-step semantics; add measure check to small-step of loop
Core
GOTO
Laurel
#1337
opened Jun 5, 2026 by
aqjune-aws
Contributor
•
Draft
Remove Tools/BoogieToStrata
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
Has 1 approval
#1329
opened Jun 4, 2026 by
atomb
Contributor
Loading…
feat(laurel): Adding surface syntax for calling instance procedures & lowering to Core
Laurel
Waiting-For-Review
#1328
opened Jun 4, 2026 by
AD1024
Loading…
Preserve sat counterexamples on universal-quantification VCs
Core
Waiting-For-Review
#1326
opened Jun 4, 2026 by
julesmt
Member
Loading…
Imperative semantic bug fixes/updates and supporting infrastructure
Core
GOTO
Laurel
#1325
opened Jun 4, 2026 by
aqjune-aws
Contributor
•
Draft
feat(laurel): add Java-style ++ and -- operators
Laurel
Waiting-For-Review
#1320
opened Jun 3, 2026 by
olivier-aws
Contributor
Loading…
Add --typed-python: native lowering for annotated Python primitives and containers
Git conflicts
Laurel
Python
Waiting-For-Review
#1315
opened Jun 2, 2026 by
julesmt
Member
Loading…
4 tasks done
Exclude hidden files from the lake cache hash
github_actions
Pull requests that update GitHub Actions code
Waiting-For-Review
#1313
opened Jun 2, 2026 by
keyboardDrummer
Contributor
Loading…
CallElimCorrect: rewrite using small-step semantics
Core
Waiting-For-Review
#1306
opened Jun 1, 2026 by
PROgram52bc
Contributor
Loading…
Lambda type aliases: report arity mismatch instead of silent fallthrough
#1301
opened May 29, 2026 by
MikaelMayer
Contributor
•
Draft
docs(BooleFeatureRequests)
CSLib
PRs and issues marked with this label indicate contributions from/for the CSLib community.
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
#1293
opened May 29, 2026 by
ssomayyajula
Contributor
•
Draft
datatype support for smtvcs
CSLib
PRs and issues marked with this label indicate contributions from/for the CSLib community.
SMT
#1273
opened May 28, 2026 by
kondylidou
Contributor
•
Draft
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
Git conflicts
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
Has 1 approval
#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
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
#1211
opened May 22, 2026 by
keyboardDrummer
Contributor
•
Draft
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.