Skip to content

Pull requests: strata-org/Strata

New pull request New
37 Open 372 Closed
37 Open 372 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 reachability checks for assert and cover statements
#466 opened Feb 21, 2026 by shigoel Loading…
1 task done
Correct-by-construction WF proofs for factory functions
#465 opened Feb 20, 2026 by joehendrix Loading…
Refactor to implement some I/O in SimpleAPI
#464 opened Feb 20, 2026 by atomb Loading…
Fix #460, ensure type variables unify in DDM
#463 opened Feb 20, 2026 by joscoh Loading…
2
Support inheritance
#459 opened Feb 20, 2026 by keyboardDrummer Loading…
3
Support Kwargs handling for Python->Laurel
#457 opened Feb 19, 2026 by thanhnguyen-aws • Draft
Fix unsafe rm in testStrataCommand.sh: remove unnecessary glob and quote variable
#455 opened Feb 19, 2026 by tautschnig Loading…
@andrewmwells-amazon
1
Prove EvalExpressionIsDefined by adding definedness propagation to WellFormedCoreEvalCong
#454 opened Feb 19, 2026 by tautschnig Loading…
@aqjune-aws
6
Partially prove Procedure.typeCheckWF (5 of 9 fields)
#453 opened Feb 19, 2026 by tautschnig Loading…
@aqjune-aws
6
[WIP] Remove sorry warnings via Kiro-generated proofs
#452 opened Feb 19, 2026 by tautschnig • Draft
@tautschnig
Prove EvalBlockRefinesContract and EvalStmtRefinesContract via strong induction
#450 opened Feb 19, 2026 by tautschnig Loading…
@aqjune-aws
4
Add PySpec-to-Laurel translation and method call dispatch
#446 opened Feb 18, 2026 by joehendrix Loading…
Add function preconditions to Core
#444 opened Feb 18, 2026 by joscoh Loading…
56
WIP: Replace forward type declarations with automatic pre-registration
#443 opened Feb 18, 2026 by joehendrix • Draft
3 tasks done
Add documentation generation for Laurel
#434 opened Feb 17, 2026 by keyboardDrummer Loading…
61
Add documentation to Core.Procedure
#433 opened Feb 17, 2026 by tautschnig Loading…
@andrewmwells-amazon
13
Fix for issue 419
#429 opened Feb 16, 2026 by keyboardDrummer • Draft
1
Infrastructure changes from PR 385
#426 opened Feb 16, 2026 by keyboardDrummer Loading…
8
Remove custom SizeOf instances.
#424 opened Feb 13, 2026 by abdoo8080 Loading…
4
Add PySpec to StrataCore translation pipeline
#422 opened Feb 13, 2026 by joehendrix • Draft
1
PR just for the diff
#418 opened Feb 13, 2026 by keyboardDrummer • Draft
Python to laurel
#407 opened Feb 11, 2026 by keyboardDrummer • Draft
Make StrataCoreToGoto accept a user-specified Strata Core file
#404 opened Feb 10, 2026 by tautschnig • Draft
@tautschnig
6
Add support for SARIF output to pyAnalyze and pyAnalyzeLaurel
#403 opened Feb 10, 2026 by tautschnig Loading…
@shigoel @andrewmwells-amazon
8
Laurel Language Enhancements
#385 opened Feb 4, 2026 by fabiomadge Loading…
30
ProTip! Filter pull requests by the default branch with base:main.