-
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
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, and datatypes
Core
Laurel
#1394
opened Jun 19, 2026 by
fabiomadge
Contributor
•
Draft
fix(core): isolate path conditions at the procedure boundary
Core
Waiting-For-Review
#1391
opened Jun 18, 2026 by
fabiomadge
Contributor
Loading…
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 (+= -= *= /= %= ^=)
Laurel
Waiting-For-Review
#1383
opened Jun 17, 2026 by
fabiomadge
Contributor
Loading…
feat(laurel): paren-free field ++/--, and chained-field-access test coverage
Laurel
Waiting-For-Review
#1382
opened Jun 17, 2026 by
fabiomadge
Contributor
Loading…
Laurel: quantifier-free modifies frame under --use-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…
[Laurel] Support constrained types as composite fields
Laurel
Waiting-For-Review
#1364
opened Jun 11, 2026 by
olivier-aws
Contributor
Loading…
feat(laurel): add body-tested do-while loop
Laurel
Waiting-For-Review
#1358
opened Jun 11, 2026 by
fabiomadge
Contributor
Loading…
Enable calling procedures in contracts
Git conflicts
Laurel
Python
Waiting-For-Review
#1352
opened Jun 10, 2026 by
keyboardDrummer
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 OverapproximatesWhen/OverapproximatesAggressivelyWhen
Core
#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…
Fix SMT encoding for polymorphic Sequence preconditions (#1201)
Core
Has 1 approval
#1205
opened May 21, 2026 by
PROgram52bc
Contributor
Loading…
5 tasks done
Previous Next
ProTip!
Updated in the last three days: updated:>2026-06-18.