Skip to content

Pull requests: strata-org/Strata

New pull request New
38 Open 566 Closed
38 Open 566 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

Fix with-block variable scoping in Python-to-Laurel translation
#680 opened Mar 26, 2026 by MikaelMayer Loading…
14
fix(SMT): restrict get-value to primitive types for cvc5 Core SMT
#679 opened Mar 26, 2026 by shigoel • Draft
fix: Add Dict and List to Any_to_bool precondition
#675 opened Mar 26, 2026 by MikaelMayer • Draft
11
Fix bug in handling of blocks that occur in expresssions
#672 opened Mar 26, 2026 by keyboardDrummer Loading…
2
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 • Draft
Add specTypeToLaurelActual for unified PySpec type mapping
#665 opened Mar 25, 2026 by joehendrix • Draft
3 tasks done
Instance call support: @ separator, void-returns-Any, hybrid field type system, and class method emission
#664 opened Mar 25, 2026 by joehendrix Loading…
2
Rewrite StrataCoreToGoto for multi-procedure programs with contracts GOTO
#657 opened Mar 25, 2026 by tautschnig Loading…
@tautschnig
10
Add Laurel tests for Java machine integers as constrained types Laurel
#656 opened Mar 25, 2026 by tautschnig Loading…
@tautschnig
14
Fix BoogieToStrata: handle cross-nesting and backward gotos
#655 opened Mar 25, 2026 by tautschnig Loading…
@atomb
8
PySpec local import support and API consolidation Python
#651 opened Mar 24, 2026 by joehendrix • Draft
fix(laurel): local variable no longer shadows output parameter Core Laurel
#642 opened Mar 24, 2026 by fabiomadge Loading…
1
2
Move all variable declarations to the beginning of the function body Laurel Python
#639 opened Mar 23, 2026 by thanhnguyen-aws Loading…
19
Resolve Laurel in Python pipeline Laurel Python
#638 opened Mar 23, 2026 by keyboardDrummer Loading…
12
Denotational semantics for Laurel IR with concrete evaluator and transform preservation tests Laurel
#631 opened Mar 20, 2026 by olivier-aws Loading…
45
feat(Core): add Str.ToLower and Str.ToUpper string operations Core
#621 opened Mar 19, 2026 by shigoel Loading…
9
Better isolation of non-determinism in Core
#617 opened Mar 19, 2026 by MikaelMayer • Draft
1
29
Fix Python translation pipeline: InstanceCall, control flow, and construct support Laurel Python
#613 opened Mar 19, 2026 by joehendrix • Draft
Upgrade to Lean 4.28.0
#611 opened Mar 19, 2026 by joehendrix • Draft
Propagate Python assert messages as Laurel property summaries Laurel Python
#608 opened Mar 18, 2026 by tautschnig Loading…
@tautschnig @MikaelMayer
23
feat: add --parallel flag for concurrent obligation verification
#597 opened Mar 17, 2026 by MikaelMayer • Draft
Support for f-strings in Python->Laurel translation + bind variables introduced by exception handlers Laurel Python
#595 opened Mar 17, 2026 by ssomayyajula Loading…
1
Add automated overflow/underflow checks for bitvector and floating-point arithmetic Core GOTO
#592 opened Mar 17, 2026 by tautschnig Loading…
@tautschnig
14
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.