Skip to content

Pull requests: strata-org/Strata

New pull request New
35 Open 420 Closed
35 Open 420 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

Refactor DialectFileMap to use IO.Ref for LoadedDialects
#516 opened Mar 4, 2026 by joehendrix • Draft
Auto-resolve overloaded service pyspec files in pyAnalyzeLaurel
#515 opened Mar 4, 2026 by joehendrix • Draft
Classify division-by-zero checks as distinct property type
#514 opened Mar 4, 2026 by tautschnig • Draft
Py simple any type
#513 opened Mar 4, 2026 by andrewmwells-amazon • Draft
Add re.compile to prelude to avoid crash on regex imports
#512 opened Mar 3, 2026 by joehendrix • Draft
feat(laurel): Add direct operational semantics for Laurel IR
#511 opened Mar 3, 2026 by olivier-aws Loading…
2
Add division-by-zero verification for Laurel via Core safe operators
#510 opened Mar 3, 2026 by tautschnig • Queued
@joehendrix @joscoh
21
feat(transform): Add ProcBodyVerify transformation
#509 opened Mar 3, 2026 by MikaelMayer Loading…
feat: Add statement-level type declarations
#507 opened Mar 3, 2026 by MikaelMayer • Draft
Python Prelude in Laurel
#506 opened Mar 3, 2026 by keyboardDrummer • Draft
2
Laurel: add constrained type support
#505 opened Mar 3, 2026 by fabiomadge • Draft
Fix early return soundness in Laurel: replace assume false with exit
#504 opened Mar 3, 2026 by fabiomadge Loading…
8
Switch Strata/DL/Util/List.lean to module
#503 opened Mar 2, 2026 by aqjune-aws • Draft
Add a resolution phase to Laurel
#501 opened Mar 1, 2026 by keyboardDrummer Loading…
17
Boole
#500 opened Feb 28, 2026 by kondylidou • Draft
1
Add recursive functions to Strata Core
#499 opened Feb 28, 2026 by joscoh Loading…
24
Support Any type, Operations, and Kwargs handling for Python->Laurel
#489 opened Feb 26, 2026 by thanhnguyen-aws Loading…
26
feat: Implement two-sided verification check with check modes
#487 opened Feb 26, 2026 by MikaelMayer Loading…
25
Support return statements in Laurel functions
#486 opened Feb 26, 2026 by keyboardDrummer Loading…
12
feat(core): Add CoreSMT verification pipeline with incremental solver and diagnosis
#475 opened Feb 23, 2026 by MikaelMayer • Draft
@MikaelMayer
93
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
Eliminate need for forward type declarations in recursive datatypes
#443 opened Feb 18, 2026 by joehendrix Loading…
@joehendrix
3
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
ProTip! What’s not been updated in a month: updated:<2026-02-04.