-
Notifications
You must be signed in to change notification settings - Fork 51
Pull requests: strata-org/Strata
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(DDM): add choose operator elaboration support
Waiting-For-Review
#1409
opened Jun 24, 2026 by
kondylidou
Contributor
Loading…
Introduce condition mode to simplify modifiesClauses
Laurel
#1406
opened Jun 24, 2026 by
keyboardDrummer
Contributor
•
Draft
docs: update renamed #strataGenAST command to #strata_gen
Waiting-For-Review
#1405
opened Jun 23, 2026 by
fharding1
Loading…
Laurel: field-granular modifies frame
Laurel
Waiting-For-Review
#1404
opened Jun 23, 2026 by
julesmt
Member
Loading…
Bump actions/checkout from 6 to 7
github_actions
Pull requests that update GitHub Actions code
Has 1 approval
#1403
opened Jun 23, 2026 by
dependabot
Bot
Loading…
Typechecking blocks in continuation-passing style
Laurel
#1398
opened Jun 19, 2026 by
leo-leesco
Contributor
•
Draft
fix(laurel): synthesizing heap well-formedness conditions in HeapParameterization
Laurel
Waiting-For-Review
#1396
opened Jun 19, 2026 by
AD1024
Loading…
feat(laurel): user-level polymorphism — generic composites, procedures, datatypes, type aliases
Core
Laurel
#1394
opened Jun 19, 2026 by
fabiomadge
Contributor
•
Draft
Add downstream-check CI and shared composite actions
github_actions
Pull requests that update GitHub Actions code
Waiting-For-Review
#1387
opened Jun 18, 2026 by
shigoel
Contributor
Loading…
feat(laurel): add C-style compound assignment (+= -= *= /= %= ^=)
Has 1 approval
Laurel
#1383
opened Jun 17, 2026 by
fabiomadge
Contributor
Loading…
Laurel: avoid quantified modifies frames when using array theory
Laurel
Waiting-For-Review
#1374
opened Jun 16, 2026 by
julesmt
Member
Loading…
choose operator in Boole
CSLib
PRs and issues marked with this label indicate contributions from/for the CSLib community.
Waiting-For-Review
#1365
opened Jun 12, 2026 by
kondylidou
Contributor
Loading…
feat: structured-to-unstructured forward soundness for simple-shape programs (small-step)
GOTO
Laurel
#1348
opened Jun 8, 2026 by
PROgram52bc
Contributor
•
Draft
4 tasks done
Small-step CFG Semantics and Infrastructures (split of #1196, prep for proof)
Core
#1347
opened Jun 8, 2026 by
PROgram52bc
Contributor
•
Draft
4 tasks done
Preserve sat counterexamples on universal-quantification VCs
Core
Waiting-For-Review
#1326
opened Jun 4, 2026 by
julesmt
Member
Loading…
Add OverapproxiatesUpto/OverapproximatesWhen/OverapproximatesAggressivelyWhen
Core
dependencies
Pull requests that update a dependency file
Git conflicts
github_actions
Pull requests that update GitHub Actions code
GOTO
Java
Laurel
SMT
#1325
opened Jun 4, 2026 by
aqjune-aws
Contributor
•
Draft
CallElimCorrect: rewrite using small-step semantics
Core
Waiting-For-Review
#1306
opened Jun 1, 2026 by
PROgram52bc
Contributor
Loading…
6 of 7 tasks
Lambda type aliases: report arity mismatch instead of silent fallthrough
github_actions
Pull requests that update GitHub Actions code
#1301
opened May 29, 2026 by
MikaelMayer
Contributor
•
Draft
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
Allow function inlining in quantifiers
Core
Waiting-For-Review
#1225
opened May 27, 2026 by
thanhnguyen-aws
Contributor
Loading…
pyspec: add --reject-approximations CLI flag
Git conflicts
Python
Waiting-For-Review
#1208
opened May 21, 2026 by
julesmt
Member
Loading…
pyspec: extend predicate bodies with strict comparisons, equality, and integer arithmetic
Git conflicts
Python
Waiting-For-Review
#1206
opened May 21, 2026 by
julesmt
Member
Loading…
Previous Next
ProTip!
Exclude everything labeled
bug with -label:bug.