Skip to content

Pull requests: strata-org/Strata

New pull request New
41 Open 580 Closed
41 Open 580 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

Add bitvector types (bv8, bv16, bv32, bv64) to Laurel Laurel
#701 opened Mar 28, 2026 by tautschnig Loading…
7
Fix unsupported regex patterns causing cvc5 theory-combination errors Python
#699 opened Mar 27, 2026 by shigoel Loading…
Add class method signatures to TransalationContext
#695 opened Mar 27, 2026 by thanhnguyen-aws Loading…
3
Add documentation for DDM-generated Java code
#694 opened Mar 27, 2026 by atomb Loading…
feat(python): Add support for ** (power) operator
#690 opened Mar 27, 2026 by MikaelMayer Loading…
12
fix: don't emit get-value in SMT file
#688 opened Mar 27, 2026 by fabiomadge • Draft
Stop re-verifying prelude in pyAnalyzeLaurel
#687 opened Mar 27, 2026 by MikaelMayer Loading…
3
Version 1 Boole feature requests
#684 opened Mar 27, 2026 by kondylidou • Draft
fix(SMT): restrict get-value to primitive types for cvc5 Core SMT
#679 opened Mar 26, 2026 by shigoel • Draft
1
Fix bug in handling of blocks that occur in expresssions
#672 opened Mar 26, 2026 by keyboardDrummer Loading…
7
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
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
Fix BoogieToStrata: handle cross-nesting and backward gotos
#655 opened Mar 25, 2026 by tautschnig Loading…
15
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
Resolve Laurel in Python pipeline Laurel Python
#638 opened Mar 23, 2026 by keyboardDrummer Loading…
35
Denotational semantics for Laurel IR with concrete evaluator and transform preservation tests Laurel
#631 opened Mar 20, 2026 by olivier-aws Loading…
46
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
37
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
ProTip! Filter pull requests by the default branch with base:main.