-
Notifications
You must be signed in to change notification settings - Fork 38
Pull requests: strata-org/Strata
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
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…
Add basic support for
del key word in Python->Laurel
Python
Waiting-For-Review
#1054
opened Apr 27, 2026 by
thanhnguyen-aws
Contributor
Loading…
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…
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
Add support for List append
Git conflicts
Python
Waiting-For-Review
#1043
opened Apr 24, 2026 by
thanhnguyen-aws
Contributor
Loading…
feat(core): Add Sequence.empty<T>() syntax for creating empty sequences
Core
Waiting-For-Review
#1036
opened Apr 23, 2026 by
atomb
Contributor
Loading…
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…
Support Python
global statement (#889)
Git conflicts
Laurel
Python
#1032
opened Apr 23, 2026 by
keyboardDrummer-bot
Collaborator
•
Draft
Add
modifies * wildcard support to Laurel
Git conflicts
Has 1 approval
Laurel
#1031
opened Apr 23, 2026 by
keyboardDrummer-bot
Collaborator
Loading…
Remove MetaData from Laurel Identifier and AstNode
Java
Laurel
Python
Waiting-For-Review
#1028
opened Apr 23, 2026 by
keyboardDrummer-bot
Collaborator
Loading…
Support Python fields created without class-level declarations
Python
Waiting-For-Review
#1026
opened Apr 23, 2026 by
keyboardDrummer-bot
Collaborator
Loading…
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…
Add phase to inline local variables in expression position
Git conflicts
Laurel
#1015
opened Apr 22, 2026 by
keyboardDrummer-bot
Collaborator
•
Draft
Fix #1000: procedure call in exception-check assert
Python
#1012
opened Apr 21, 2026 by
keyboardDrummer-bot
Collaborator
•
Draft
Fix: lift heap-parameterized procedure calls in assert/assume conditions
Git conflicts
Laurel
Python
#1011
opened Apr 21, 2026 by
keyboardDrummer-bot
Collaborator
•
Draft
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…
Add Core-to-Core factory concrete evaluation transform
Waiting-For-Review
#1006
opened Apr 21, 2026 by
tautschnig
Contributor
Loading…
Add Core-to-Core constant propagation transform
Waiting-For-Review
#1005
opened Apr 21, 2026 by
tautschnig
Contributor
Loading…
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…
Add Core-to-Core datatype partial evaluation transform with correctness proof
GOTO
Waiting-For-Review
#985
opened Apr 20, 2026 by
tautschnig
Contributor
Loading…
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.