Skip to content

Pull requests: strata-org/Strata

New pull request New
71 Open 683 Closed
71 Open 683 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

Try labeling 'Git conflict' again if failed, bail out if two attempts fail github_actions Pull requests that update GitHub Actions code Has 1 approval
#1056 opened Apr 27, 2026 by aqjune-aws Contributor Loading…
3
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
Small-step Imperative semantics: loop/ite exit handling and invariant checking Core GOTO Laurel Waiting-For-Review
#1052 opened Apr 24, 2026 by aqjune-aws Contributor Loading…
17
Encapsulate SpecType construction behind smart constructors Git conflicts Python
#1048 opened Apr 24, 2026 by joehendrix Contributor • Draft
4 tasks done
Feature request: Parallel solving Core Laurel
#1046 opened Apr 24, 2026 by MikaelMayer Contributor • Draft
3 tasks
1
19
feat(transform): Add optional SSA transformation for Strata Core
#1044 opened Apr 24, 2026 by sagjoshi • Draft
Add support for List append Git conflicts Python Waiting-For-Review
#1043 opened Apr 24, 2026 by thanhnguyen-aws Contributor Loading…
@thanhnguyen-aws
feat(core): Add Sequence.empty<T>() syntax for creating empty sequences Core Waiting-For-Review
#1036 opened Apr 23, 2026 by atomb Contributor Loading…
1
Generalize multi-target assign so it supports intertwined declarations, local assignments and field assignments Git conflicts Laurel Python Waiting-For-Review
#1034 opened Apr 23, 2026 by keyboardDrummer-bot Collaborator Loading…
1
@keyboardDrummer
5
Improve verifier profiling accuracy; add PAdd perf test Core Python
#1033 opened Apr 23, 2026 by shigoel Contributor • Draft
2 tasks
Support Python global statement (#889) Git conflicts Laurel Python
#1032 opened Apr 23, 2026 by keyboardDrummer-bot Collaborator • Draft
1
@olivier-aws
7
Add modifies * wildcard support to Laurel Git conflicts Has 1 approval Laurel
#1031 opened Apr 23, 2026 by keyboardDrummer-bot Collaborator Loading…
1
19
Remove MetaData from Laurel Identifier and AstNode Java Laurel Python Waiting-For-Review
#1028 opened Apr 23, 2026 by keyboardDrummer-bot Collaborator Loading…
@keyboardDrummer
9
Support Python fields created without class-level declarations Python Waiting-For-Review
#1026 opened Apr 23, 2026 by keyboardDrummer-bot Collaborator Loading…
1
@olivier-aws
3
Minimize imports via lake shake and add import lint/stats Core Git conflicts GOTO Laurel Python SMT
#1020 opened Apr 22, 2026 by joehendrix Contributor • Draft
Python -> Laurel translation: unmodeled method calls to havoc non-receiver arguments too Git conflicts Has 1 approval Python
#1019 opened Apr 22, 2026 by ssomayyajula Contributor Loading…
5
Add phase to inline local variables in expression position Git conflicts Laurel
#1015 opened Apr 22, 2026 by keyboardDrummer-bot Collaborator • Draft
@keyboardDrummer
Fix #1000: procedure call in exception-check assert Python
#1012 opened Apr 21, 2026 by keyboardDrummer-bot Collaborator • Draft
1
1
Fix: lift heap-parameterized procedure calls in assert/assume conditions Git conflicts Laurel Python
#1011 opened Apr 21, 2026 by keyboardDrummer-bot Collaborator • Draft
@olivier-aws
Migrate StrataTest files to be Lean modules Core Git conflicts GOTO Laurel Python SMT
#1010 opened Apr 21, 2026 by joehendrix Contributor • Draft
Add Core-to-Core function inlining transforms Waiting-For-Review
#1007 opened Apr 21, 2026 by tautschnig Contributor Loading…
@tautschnig
6
Add Core-to-Core factory concrete evaluation transform Waiting-For-Review
#1006 opened Apr 21, 2026 by tautschnig Contributor Loading…
@tautschnig @joscoh @aqjune-aws
10
Add Core-to-Core constant propagation transform Waiting-For-Review
#1005 opened Apr 21, 2026 by tautschnig Contributor Loading…
6
ci: install strata.gen before Lean build to prevent skipped Python tests Git conflicts github_actions Pull requests that update GitHub Actions code
#1003 opened Apr 21, 2026 by keyboardDrummer-bot Collaborator Loading…
1
@keyboardDrummer
9
Add Core-to-Core datatype partial evaluation transform with correctness proof GOTO Waiting-For-Review
#985 opened Apr 20, 2026 by tautschnig Contributor Loading…
@tautschnig @joscoh @aqjune-aws
11
ProTip! Mix and match filters to narrow down what you’re looking for.