Skip to content

Pull requests: strata-org/Strata

New pull request New
47 Open 601 Closed
47 Open 601 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

[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
Migrate more StrataMain commands to SimpleAPI
#733 opened Apr 1, 2026 by shigoel Loading…
7
Fix doc generation for SSH git clones
#732 opened Apr 1, 2026 by MikaelMayer Loading…
1
3
fix: prevent infinite loop when modifies clause references non-composite type (#490)
#731 opened Apr 1, 2026 by MikaelMayer Loading…
1
6
Fix #650: StrataVerify Panic in Type inference
#730 opened Apr 1, 2026 by MikaelMayer • Draft
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 • Draft
1
3
Coerce Composite return values to Any in Python return statements
#727 opened Apr 1, 2026 by tautschnig Loading…
7
Fix computeExprType to return first output type for multi-output procedures
#726 opened Apr 1, 2026 by tautschnig Loading…
4
Drop extra positional args beyond function signature in Python-to-Laurel
#725 opened Apr 1, 2026 by tautschnig Loading…
5
feat: VCOutcome uses unknown instead of sat for unvalidated SMT results
#722 opened Mar 31, 2026 by MikaelMayer • Draft
1
37
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
9
Add bitvector types (bv8, bv16, bv32, bv64) to Laurel Laurel
#701 opened Mar 28, 2026 by tautschnig Loading…
@tautschnig @keyboardDrummer
9
Add documentation for DDM-generated Java code Java
#694 opened Mar 27, 2026 by atomb Loading…
13
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
Add specTypeToLaurelActual for unified PySpec type mapping
#665 opened Mar 25, 2026 by joehendrix • Draft
3 tasks done
Rewrite StrataCoreToGoto for multi-procedure programs with contracts GOTO
#657 opened Mar 25, 2026 by tautschnig • Draft
@tautschnig
19
Add Laurel tests for Java machine integers as constrained types Laurel
#656 opened Mar 25, 2026 by tautschnig Loading…
@keyboardDrummer
15
ProTip! Add no:assignee to see everything that’s not assigned.