Skip to content

Pull requests: strata-org/Strata

New pull request New
28 Open 339 Closed
28 Open 339 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 type unification to VCs from procedure pre/post conditions
#415 opened Feb 12, 2026 by joscoh • Draft
1
Let Core use more generic Imperative.SMTUtils for discharging proof obligation
#414 opened Feb 12, 2026 by aqjune-aws Loading…
Fix cover diagnostic messages to distinguish from assertions
#413 opened Feb 12, 2026 by MikaelMayer • Draft
Further improve formatting of Core
#412 opened Feb 12, 2026 by keyboardDrummer Loading…
3
Add app builtin constructor to generated Init.Expr category
#411 opened Feb 12, 2026 by joehendrix Loading…
4 tasks done
2
Transform procedure preconditions into assertions, run before typechecking
#408 opened Feb 11, 2026 by joscoh • Draft
3
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…
4
Change default SMT solver from z3 to cvc5
#401 opened Feb 9, 2026 by MikaelMayer Loading…
12
Support modifies clauses
#397 opened Feb 9, 2026 by keyboardDrummer Loading…
Laurel Language Enhancements
#385 opened Feb 4, 2026 by fabiomadge Loading…
5
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
Add mutually recursive types to Core concrete syntax
#360 opened Jan 30, 2026 by joscoh Loading…
9
Support assignment in conditional parts of an expression
#359 opened Jan 30, 2026 by keyboardDrummer Loading…
15
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
Extend Cmds.toGotoTransform to handle all Stmt types
#289 opened Dec 22, 2025 by tautschnig Loading…
11
Add primitive type prelude for Python
#262 opened Dec 4, 2025 by thanhnguyen-aws Loading…
Re-org CI to cache Strata build and run subsequent tasks in parallel
#226 opened Nov 22, 2025 by andrewmwells-amazon Loading…
8
Create variables for old expressions in Boogie
#217 opened Nov 17, 2025 by atomb • Draft
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.