Skip to content

Pull requests: strata-org/Strata

New pull request New
26 Open 413 Closed
26 Open 413 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

Add recursive functions to Strata Core
#499 opened Feb 28, 2026 by joscoh • Draft
feat: Add optional variable names to LExpr for better SMT display
#496 opened Feb 27, 2026 by MikaelMayer • Draft
26
Parse and lift the SMT counterexamples to LExpr
#495 opened Feb 27, 2026 by aqjune-aws Loading…
4
Extract richer PySpec data: class hierarchy, kwargs, and assert preconditions
#494 opened Feb 27, 2026 by joehendrix Loading…
Add datatype destructors with precondition checks
#493 opened Feb 27, 2026 by joscoh Loading…
5
Support Any type, Operations, and Kwargs handling for Python->Laurel
#489 opened Feb 26, 2026 by thanhnguyen-aws Loading…
2
feat: Implement two-sided verification check with check modes
#487 opened Feb 26, 2026 by MikaelMayer • Draft
10
remy/functionControlFlow
#486 opened Feb 26, 2026 by keyboardDrummer • Draft
PyLaurel Class Support
#480 opened Feb 24, 2026 by andrewmwells-amazon Loading…
18
feat(core): Add CoreSMT verification pipeline with incremental solver and diagnosis
#475 opened Feb 23, 2026 by MikaelMayer • Draft
@MikaelMayer
39
Support converting more Ast functions to Cst
#470 opened Feb 23, 2026 by keyboardDrummer • Draft
@keyboardDrummer
Partially prove Procedure.typeCheckWF (5 of 9 fields)
#453 opened Feb 19, 2026 by tautschnig Loading…
@aqjune-aws
11
[WIP] Remove sorry warnings via Kiro-generated proofs
#452 opened Feb 19, 2026 by tautschnig • Draft
@tautschnig
1
Eliminate need for forward type declarations in recursive datatypes
#443 opened Feb 18, 2026 by joehendrix Loading…
@joehendrix
2
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 Loading…
@fabiomadge
30
Use Lean4 modules in more files
#369 opened Feb 2, 2026 by keyboardDrummer • Draft
@keyboardDrummer
2
Modes for controlling irrelevant axiom removal
#301 opened Jan 3, 2026 by shigoel • Draft
@shigoel
13
Add code generation for extracting annotations
#291 opened Dec 22, 2025 by joehendrix • Draft
@joehendrix
GOTO backend: Core-to-GOTO translation, CBMC pipeline tests, and CI
#289 opened Dec 22, 2025 by tautschnig Loading…
@tautschnig
40
Add primitive type prelude for Python
#262 opened Dec 4, 2025 by thanhnguyen-aws • Draft
@atomb
Re-org CI to cache Strata build and run subsequent tasks in parallel
#226 opened Nov 22, 2025 by andrewmwells-amazon Loading…
@andrewmwells-amazon
8
Add EquivalenceSet example
#207 opened Nov 14, 2025 by keyboardDrummer Loading…
@keyboardDrummer
2
Add support for unstructured programs
#202 opened Nov 13, 2025 by atomb • Draft
@atomb
4
ProTip! Follow long discussions with comments:>50.