Skip to content

Pull requests: strata-org/Strata

New pull request New
31 Open 440 Closed
31 Open 440 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

pyAnalyzeLaurel: add --vc-directory flag
#536 opened Mar 9, 2026 by shigoel Loading…
Convert DDM duplicate polymorphic function panic to a proper error
#534 opened Mar 9, 2026 by shigoel • Draft
5
Prove soundness of Lambda type checker
#532 opened Mar 9, 2026 by aqjune-aws Loading…
1
ci: add lint check to prevent new panic! introductions
#529 opened Mar 8, 2026 by tautschnig Loading…
7
Unify recursive and mutually recursive types
#526 opened Mar 6, 2026 by joscoh Loading…
Irrelevant axiom removal implemented as a program transform
#524 opened Mar 6, 2026 by shigoel Loading…
8
Fix VCG path multiplication with goto in if-then-else
#520 opened Mar 5, 2026 by olivier-aws Loading…
5
Auto-resolve overloaded service pyspec files in pyAnalyzeLaurel
#515 opened Mar 4, 2026 by joehendrix • Draft
Py simple any type
#513 opened Mar 4, 2026 by andrewmwells-amazon • Draft
feat(laurel): Add direct operational semantics for Laurel IR
#511 opened Mar 3, 2026 by olivier-aws Loading…
3
feat(transform): Add ProcBodyVerify transformation
#509 opened Mar 3, 2026 by MikaelMayer Loading…
13
Define Python Prelude in Laurel instead of Core
#506 opened Mar 3, 2026 by keyboardDrummer Loading…
2
Laurel: Add constrained type support
#505 opened Mar 3, 2026 by fabiomadge Loading…
7
Switch Strata/DL/Util/List.lean to module
#503 opened Mar 2, 2026 by aqjune-aws • Draft
Boole
#500 opened Feb 28, 2026 by kondylidou • Draft
1
Support Any type, Operations, and Kwargs handling for Python->Laurel
#489 opened Feb 26, 2026 by thanhnguyen-aws Loading…
98
feat: Implement two-sided verification check with check modes
#487 opened Feb 26, 2026 by MikaelMayer Loading…
34
Support return statements in Laurel functions
#486 opened Feb 26, 2026 by keyboardDrummer Loading…
17
feat(core): Add CoreSMT verification pipeline with incremental solver and diagnosis
#475 opened Feb 23, 2026 by MikaelMayer Loading…
@MikaelMayer
107
Support converting more Ast functions to Cst
#470 opened Feb 23, 2026 by keyboardDrummer • Draft
@keyboardDrummer
[WIP] Remove sorry warnings via Kiro-generated proofs
#452 opened Feb 19, 2026 by tautschnig • Draft
@tautschnig
4
Fix for issue 419
#429 opened Feb 16, 2026 by keyboardDrummer • Draft
@keyboardDrummer
2
Make StrataCoreToGoto accept a user-specified Strata Core file
#404 opened Feb 10, 2026 by tautschnig • Draft
@tautschnig
6
Laurel Language Enhancements
#385 opened Feb 4, 2026 by fabiomadge • Draft
@fabiomadge
32
Use Lean4 modules in more files
#369 opened Feb 2, 2026 by keyboardDrummer • Draft
@keyboardDrummer
2
ProTip! Updated in the last three days: updated:>2026-03-06.