-
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
Laurel: quantifier-free modifies frame under --use-array-theory
Laurel
Waiting-For-Review
#1374
opened Jun 16, 2026 by
julesmt
Member
Loading…
Port main2 core commits to main
Core
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
GOTO
Laurel
SMT
Julesmt/native typed python lowering
Git conflicts
Laurel
#1369
opened Jun 12, 2026 by
leo-leesco
•
Draft
File-relative error reporting
Has 1 approval
Laurel
#1367
opened Jun 12, 2026 by
leo-leesco
Loading…
fix(core): thread LoopElim loop counter across procedures
Waiting-For-Review
#1366
opened Jun 12, 2026 by
fabiomadge
Contributor
Loading…
choose operator in Boole
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
Laurel
Python
Waiting-For-Review
#1352
opened Jun 10, 2026 by
keyboardDrummer
Contributor
Loading…
fix(laurel): datatype
==/!= mis-lowered to reference comparison in heap-writing procedures
Laurel
Waiting-For-Review
#1349
opened Jun 9, 2026 by
fabiomadge
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
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…
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
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…
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…
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!
Follow long discussions with comments:>50.