Skip to content

Pull requests: strata-org/Strata

New pull request New
67 Open 699 Closed
67 Open 699 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

CoreOp: table-driven name lookup for all OpKind types Core Waiting-For-Review
#942 opened Apr 16, 2026 by tautschnig Contributor Loading…
3
Add opaque keyword to Laurel grammar Laurel
#940 opened Apr 16, 2026 by keyboardDrummer-bot Collaborator • Draft
5
Add opaque keyword to Laurel grammar Laurel
#939 opened Apr 16, 2026 by keyboardDrummer-bot Collaborator • Draft
5
Add running time printer and statistics for Laurel passes Laurel
#938 opened Apr 16, 2026 by aqjune-aws Contributor Loading…
@aqjune-aws
6
Support multiple assignment targets in Python frontend Git conflicts Python
#937 opened Apr 16, 2026 by keyboardDrummer-bot Collaborator • Draft
1
6
Fix truthiness handling across Python runtime (issue #934) Python
#936 opened Apr 16, 2026 by keyboardDrummer-bot Collaborator • Draft
1
7
Abstract Solver Interface: Decouple Term Construction from SMT-LIB Encoding
#935 opened Apr 15, 2026 by MikaelMayer Contributor • Draft
4 tasks
1
17
Make the hashing function of SMT terms faster SMT
#933 opened Apr 15, 2026 by aqjune-aws Contributor Loading…
@aqjune-aws
5
Add type-safe Laurel expressions and structured warning kinds Laurel
#932 opened Apr 15, 2026 by joehendrix Contributor • Draft
Fix incoherent CallGraph build in ProcedureInlining
#931 opened Apr 15, 2026 by aqjune-aws Contributor Loading…
5
Support chained comparisons with evaluate-once semantics
#928 opened Apr 15, 2026 by keyboardDrummer-bot Collaborator • Draft
1
2
Add contract pass and improve proof pass (steps a & b of #924) Git conflicts
#927 opened Apr 15, 2026 by keyboardDrummer-bot Collaborator • Draft
8
Introduce FunctionsAndProofs IR and rename OrderedLaurel to CoreWithLaurelTypes
#925 opened Apr 15, 2026 by keyboardDrummer-bot Collaborator Loading…
@keyboardDrummer
22
Update Core's evaluator do symbolic execution only without partial evaluation Core Has 1 approval
#921 opened Apr 15, 2026 by aqjune-aws Contributor Loading…
@aqjune-aws
21
Feat/run test scripts with lake tests
#920 opened Apr 15, 2026 by robin-aws Contributor • Draft
fix(python): Add reassigned function params to modifies clause (#882) Python
#919 opened Apr 14, 2026 by olivier-aws Contributor Loading…
@olivier-aws
9
fix(python): Resolve Composite/Any type unification and nested class field coercion (#882) Python
#918 opened Apr 14, 2026 by olivier-aws Contributor • Draft
Improve source locations and assertion messages for call-site errors Git conflicts
#877 opened Apr 14, 2026 by stefanzetzsche • Draft
4
fix(PythonToLaurel): Translate raise as exception instead of hole Git conflicts
#876 opened Apr 14, 2026 by olivier-aws Contributor • Draft
1
Concrete Core interpreter Git conflicts Python
#869 opened Apr 13, 2026 by robin-aws Contributor Loading…
@robin-aws
9
Teach pySpecs to recognize @icontract.require and @icontract.ensure d…
#867 opened Apr 13, 2026 by stefanzetzsche • Draft
Denotational Semantics for Lambda Core
#865 opened Apr 13, 2026 by joscoh Contributor • Draft
CallElim before inlining + human-readable output in pyAnalyzeLaurel Git conflicts
#864 opened Apr 13, 2026 by stefanzetzsche • Draft
Postcondition pipeline — precond/postcond copying and pyspec alias resolution
#863 opened Apr 13, 2026 by stefanzetzsche • Draft
Drop dangling holes in EliminateHoles Git conflicts
#862 opened Apr 13, 2026 by keyboardDrummer-bot Collaborator • Draft
1
6
ProTip! Updated in the last three days: updated:>2026-04-13.