Skip to content

Pull requests: strata-org/Strata

New pull request New
32 Open 353 Closed
32 Open 353 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

Fix DDM precedence for single-argument wrapper ops
#437 opened Feb 17, 2026 by joehendrix • Draft
py laurel cherrypick
#435 opened Feb 17, 2026 by andrewmwells-amazon • Draft
Add documentation generation for Laurel
#434 opened Feb 17, 2026 by keyboardDrummer • Draft
Add documentation to Core.Procedure
#433 opened Feb 17, 2026 by tautschnig Loading…
8
feat: Support optional RHS in Cmd.init for unconstrained variable declarations
#432 opened Feb 16, 2026 by MikaelMayer • Draft
1
Convert DDM files to Lean 4 modules and fix mkScopedIdent for module support
#431 opened Feb 16, 2026 by joehendrix • Queued
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…
7
Pretty printer for Core's semantic AST
#425 opened Feb 15, 2026 by shigoel Loading…
16
Remove custom SizeOf instances.
#424 opened Feb 13, 2026 by abdoo8080 Loading…
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
Enable creating new objects
#417 opened Feb 13, 2026 by keyboardDrummer Loading…
Let Core use more generic Imperative.SMTUtils for discharging proof obligation
#414 opened Feb 12, 2026 by aqjune-aws Loading…
Python to laurel
#407 opened Feb 11, 2026 by keyboardDrummer • Draft
Add comprehensive help text for pyAnalyze command
#405 opened Feb 10, 2026 by tautschnig Loading…
5
Make StrataCoreToGoto accept a user-specified Strata Core file
#404 opened Feb 10, 2026 by tautschnig Loading…
6
Add support for SARIF output to pyAnalyze
#403 opened Feb 10, 2026 by tautschnig Loading…
5
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
Modes for controlling irrelevant axiom removal
#301 opened Jan 3, 2026 by shigoel • Draft
13
Add code generation for extracting annotations
#291 opened Dec 22, 2025 by joehendrix • Draft
ProTip! What’s not been updated in a month: updated:<2026-01-17.