Skip to content

Pull requests: strata-org/Strata

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

Use original parameter names in symbolic evaluation output
#1041 opened Apr 24, 2026 by MikaelMayer Contributor • Draft
1 task
Fix #1038 quantifier bvar order bug Core
#1039 opened Apr 24, 2026 by joscoh Contributor • Queued
1
Remove PlausibleHelpers for testing from Strata.lean dependencies. Core
#1037 opened Apr 24, 2026 by joehendrix Contributor • Draft
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 Java Laurel Python Waiting-For-Review
#1034 opened Apr 23, 2026 by keyboardDrummer-bot Collaborator Loading…
1
@keyboardDrummer
4
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 Laurel Waiting-For-Review
#1031 opened Apr 23, 2026 by keyboardDrummer-bot Collaborator Loading…
1
18
Remove MetaData from Laurel Identifier and AstNode Git conflicts Laurel Python Waiting-For-Review
#1028 opened Apr 23, 2026 by keyboardDrummer-bot Collaborator Loading…
@keyboardDrummer
5
Support Python fields created without class-level declarations Git conflicts Python
#1026 opened Apr 23, 2026 by keyboardDrummer-bot Collaborator • Draft
1
@olivier-aws
2
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 github_actions Pull requests that update GitHub Actions code
#1003 opened Apr 21, 2026 by keyboardDrummer-bot Collaborator Loading…
1
@shigoel
6
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
Add hypothesmith-based fuzz testing for Python front-end github_actions Pull requests that update GitHub Actions code Has 1 approval Python
#984 opened Apr 20, 2026 by tautschnig Contributor Loading…
@shigoel @robin-aws @olivier-aws
11
Boole feature request seeds + bitwise operator lowering CSLib PRs and issues marked with this label indicate contributions from/for the CSLib community.
#970 opened Apr 19, 2026 by kondylidou Contributor Loading…
@kondylidou
17
Add opaque keyword to Laurel grammar Laurel Python Waiting-For-Review
#969 opened Apr 19, 2026 by keyboardDrummer Contributor Loading…
@keyboardDrummer @shigoel
@ssomayyajula @robin-aws
23
Fix incorrect indentation when printing with .pretty Git conflicts
#959 opened Apr 16, 2026 by keyboardDrummer-bot Collaborator • Draft
1
2
ProTip! Add no:assignee to see everything that’s not assigned.