Skip to content

Pull requests: strata-org/Strata

New pull request New
82 Open 793 Closed
82 Open 793 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

Core: Sequence bounds preconditions and VC-printer fallback fix Core Waiting-For-Review
#1100 opened May 2, 2026 by fabiomadge Contributor Loading…
Add "Heap reference monotone" post condition for procedures that modify the Heap Laurel Python
#1099 opened May 1, 2026 by thanhnguyen-aws Contributor Loading…
Add --skip-verification flag to pyAnalyzeLaurel Waiting-For-Review
#1097 opened May 1, 2026 by joehendrix Contributor Loading…
feat: Add Split-Solve-Reconcile workflow for cloud-based SMT solving Core Python
#1096 opened May 1, 2026 by olivier-aws Contributor • Draft
Add getIonDeserializer% and getIonSerializer% elaborators for generic Ion serialization Java
#1095 opened May 1, 2026 by keyboardDrummer-bot Collaborator • Draft
@keyboardDrummer
Skip benchmark job on fork PRs github_actions Pull requests that update GitHub Actions code Has 1 approval
#1094 opened May 1, 2026 by keyboardDrummer-bot Collaborator Loading…
@keyboardDrummer
1
Supress pySpecToLaurel warnings in output (not typically useful) Python Waiting-For-Review
#1093 opened May 1, 2026 by joehendrix Contributor Loading…
Add termination checking for recursive functions Core Python
#1092 opened May 1, 2026 by joscoh Contributor • Draft
Eliminate redundant exception checks in try/except bodies Has 1 approval Python
#1091 opened Apr 30, 2026 by tautschnig Contributor Loading…
5
Separate SMT error categories: encoding, timeout, crash Core Waiting-For-Review
#1090 opened Apr 30, 2026 by shigoel Contributor Loading…
@MikaelMayer
12
Adding tests that show soundness issues in our Python support Python
#1089 opened Apr 30, 2026 by olivier-aws Contributor • Draft
Prove correctness of the term creators in SMT/Factory.lean SMT
#1088 opened Apr 30, 2026 by aqjune-aws Contributor • Draft
Rewrite Core language reference and add transforms doc Core Waiting-For-Review
#1084 opened Apr 30, 2026 by shigoel Contributor Loading…
@tautschnig @MikaelMayer @joscoh
36
docs: Add exit-semantics design documentation Waiting-For-Review
#1080 opened Apr 30, 2026 by seebees Loading…
Generalize multi-target assign so it supports intertwined declarations, local assignments and field assignments Laurel Python Waiting-For-Review
#1077 opened Apr 29, 2026 by keyboardDrummer-bot Collaborator Loading…
1
51
Various Laurel resolver improvements - including disallowing transparent procedures Has 1 approval Laurel Python
#1076 opened Apr 29, 2026 by keyboardDrummer-bot Collaborator Loading…
18
Boole language extensions for dalek-lite benchmarks Core SMT Waiting-For-Review
#1075 opened Apr 29, 2026 by kondylidou Contributor Loading…
Fix generic type inference Core
#1074 opened Apr 29, 2026 by Dragon-Hatcher • Draft
feat(laurel): Seq<T> and Array<T> with bounds-checked subscript and diagnostics Core Laurel Python
#1073 opened Apr 29, 2026 by fabiomadge Contributor • Draft
Core Expression metadata Core github_actions Pull requests that update GitHub Actions code Laurel Python
#1066 opened Apr 28, 2026 by MikaelMayer Contributor • Draft
38
Fix field access resolution: do not treat field names as variables Git conflicts Laurel Waiting-For-Review
#1064 opened Apr 28, 2026 by tautschnig Contributor Loading…
@tautschnig
12
Use fresh type variable instead of Error as dummy type for failed type inference dependencies Pull requests that update a dependency file Git conflicts Laurel Waiting-For-Review
#1063 opened Apr 28, 2026 by tautschnig Contributor Loading…
@tautschnig
23
Robin aws/lake skimmer dependencies Pull requests that update a dependency file
#1061 opened Apr 28, 2026 by robin-aws Contributor • Draft
Add basic support for del key word in Python->Laurel Python Waiting-For-Review
#1054 opened Apr 27, 2026 by thanhnguyen-aws Contributor Loading…
3
Feature request: Parallel solving Core Laurel
#1046 opened Apr 24, 2026 by MikaelMayer Contributor • Draft
2 tasks
1
25
ProTip! What’s not been updated in a month: updated:<2026-04-03.