Skip to content

Pull requests: strata-org/Strata

New pull request New
49 Open 605 Closed
49 Open 605 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

Call elimination: requires violation diagnostic should point to call site
#741 opened Apr 2, 2026 by MikaelMayer • Draft
1
3
Add type substitution for Factory function evaluation
#740 opened Apr 2, 2026 by joscoh Loading…
7
Add Python API documentation for DDM
#739 opened Apr 2, 2026 by joehendrix • Draft
Prove that LExpr.eval is sound w.r.t. small-step semantics Step when inputs are concrete values
#738 opened Apr 2, 2026 by aqjune-aws Loading…
Improve PySpec-to-Laurel type translation and fix subclass resolution errors
#736 opened Apr 2, 2026 by joehendrix • Draft
[WIP] Collection of Python/Laurel fixes
#735 opened Apr 1, 2026 by tautschnig • Draft
@tautschnig
Resolve tvars in inferType's fvar case to fix panic on polymorphic accessor chains
#734 opened Apr 1, 2026 by joehendrix • Draft
fix: prevent infinite loop when modifies clause references non-composite type (#490)
#731 opened Apr 1, 2026 by MikaelMayer Loading…
1
18
Fix #650: StrataVerify Panic in Type inference
#730 opened Apr 1, 2026 by MikaelMayer Loading…
1
3
Track pyspec procedure names for targeted inlining
#729 opened Apr 1, 2026 by MikaelMayer • Draft
7
Improve #strata_gen error messages
#728 opened Apr 1, 2026 by MikaelMayer Loading…
1
3
Coerce Composite return values to Any in Python return statements
#727 opened Apr 1, 2026 by tautschnig Loading…
@tautschnig
9
Fix computeExprType to return first output type for multi-output procedures
#726 opened Apr 1, 2026 by tautschnig Loading…
@tautschnig
5
Drop extra positional args beyond function signature in Python-to-Laurel
#725 opened Apr 1, 2026 by tautschnig Loading…
7
feat: VCOutcome uses unknown instead of sat for unvalidated SMT results
#722 opened Mar 31, 2026 by MikaelMayer Loading…
1
90
Add checking for functions in Prelude that may return Any of exception type
#715 opened Mar 30, 2026 by thanhnguyen-aws Loading…
Improve before for missing models
#714 opened Mar 30, 2026 by keyboardDrummer Loading…
Fix #697, improve handling of precondition obligations Core
#711 opened Mar 30, 2026 by joscoh Loading…
7
Defining invariant that CachedAnalysis must hold, update PrecondElim
#704 opened Mar 30, 2026 by MikaelMayer • Draft
1
11
Add bitvector types (bv8, bv16, bv32, bv64) to Laurel Laurel
#701 opened Mar 28, 2026 by tautschnig Loading…
@tautschnig
12
Add documentation for DDM-generated Java code Java
#694 opened Mar 27, 2026 by atomb Loading…
21
Version 1 Boole feature requests CSLib PRs and issues marked with this label indicate contributions from/for the CSLib community.
#684 opened Mar 27, 2026 by kondylidou Loading…
Hoist Hole conditions and fix while loop variable scoping
#670 opened Mar 26, 2026 by joehendrix • Draft
2 tasks done
1
Rename Any_to_bool to python_is_truthy and add construct support
#669 opened Mar 26, 2026 by joehendrix • Draft
2 tasks done
feat: support postconditions on Laurel functions
#668 opened Mar 26, 2026 by fabiomadge Loading…
4
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.