Skip to content

Pull requests: strata-org/Strata

New pull request New
34 Open 369 Closed
34 Open 369 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

Support inheritance
#459 opened Feb 20, 2026 by keyboardDrummer Loading…
2
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
5
[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
3
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…
54
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
Use Lean4 modules in more files
#369 opened Feb 2, 2026 by keyboardDrummer • Draft
2
Verification mode to check if path conditions are satisfiable
#365 opened Jan 30, 2026 by shigoel • Draft
1
Spec: Performant Ordering Variable Numbering
#334 opened Jan 19, 2026 by MikaelMayer • Draft
Laurel fundamentals not supported
#322 opened Jan 14, 2026 by keyboardDrummer • Draft
ProTip! Exclude everything labeled bug with -label:bug.