Skip to content

Pull requests: strata-org/Strata

New pull request New
90 Open 978 Closed
90 Open 978 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

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 Has 1 approval Laurel
#1364 opened Jun 11, 2026 by olivier-aws Contributor Loading…
2
Merge main into main2 (2026-06-11) GOTO Laurel Waiting-For-Review
#1363 opened Jun 11, 2026 by shigoel Contributor Loading…
Per-invariant source ranges for loop-invariant diagnostics Laurel Waiting-For-Review
#1361 opened Jun 11, 2026 by kadirayk Loading…
6
feat(laurel): add body-tested do-while loop Laurel Waiting-For-Review
#1358 opened Jun 11, 2026 by fabiomadge Contributor Loading…
1
feat(laurel): Support bitvector types as composite fields Has 1 approval Laurel
#1357 opened Jun 11, 2026 by olivier-aws Contributor Loading…
1
Enable calling procedures in contracts Laurel Python Waiting-For-Review
#1352 opened Jun 10, 2026 by keyboardDrummer Contributor Loading…
20
fix(laurel): datatype ==/!= mis-lowered to reference comparison in heap-writing procedures Has 1 approval Laurel
#1349 opened Jun 9, 2026 by fabiomadge Contributor Loading…
1
feat: structured-to-unstructured forward soundness for simple-shape programs (small-step)
#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
22
Define typing relation for commands and prove soundness of typechecker Core
#1335 opened Jun 5, 2026 by joscoh Contributor • Draft
feat(laurel): Adding surface syntax for calling instance procedures & lowering to Core Laurel Waiting-For-Review
#1328 opened Jun 4, 2026 by AD1024 Loading…
@ssomayyajula
12
Preserve sat counterexamples on universal-quantification VCs Core Waiting-For-Review
#1326 opened Jun 4, 2026 by julesmt Member Loading…
4
Add OverapproximatesWhen/OverapproximatesAggressivelyWhen Core
#1325 opened Jun 4, 2026 by aqjune-aws Contributor • Draft
4
feat(laurel): add Java-style ++ and -- operators Laurel Waiting-For-Review
#1320 opened Jun 3, 2026 by olivier-aws Contributor Loading…
14
CallElimCorrect: rewrite using small-step semantics Core Waiting-For-Review
#1306 opened Jun 1, 2026 by PROgram52bc Contributor Loading…
6 of 7 tasks
21
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
4
Boole: add test coverage for typed seq_of_* literal lowering
#1299 opened May 29, 2026 by MikaelMayer Contributor • Draft
1
Python FE (Re)architecture Git conflicts Laurel
#1293 opened May 29, 2026 by ssomayyajula Contributor • Draft
1
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
3
Allow function inlining in quantifiers Core Waiting-For-Review
#1225 opened May 27, 2026 by thanhnguyen-aws Contributor Loading…
6
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…
17
pyspec: add --reject-approximations CLI flag Git conflicts Python Waiting-For-Review
#1208 opened May 21, 2026 by julesmt Member Loading…
6
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…
5
ProTip! Type g i on any issue or pull request to go back to the issue listing page.