generated from amazon-archives/__template_Apache-2.0
-
Notifications
You must be signed in to change notification settings - Fork 29
Pull requests: strata-org/Strata
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add bitvector types (bv8, bv16, bv32, bv64) to Laurel
Laurel
#701
opened Mar 28, 2026 by
tautschnig
Loading…
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…
Fix bug in handling of blocks that occur in expresssions
#672
opened Mar 26, 2026 by
keyboardDrummer
Loading…
Hoist Hole conditions and fix while loop variable scoping
#670
opened Mar 26, 2026 by
joehendrix
•
Draft
2 tasks done
Rename Any_to_bool to python_is_truthy and add construct support
#669
opened Mar 26, 2026 by
joehendrix
•
Draft
2 tasks done
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
Add Laurel tests for Java machine integers as constrained types
Laurel
#656
opened Mar 25, 2026 by
tautschnig
Loading…
Fix BoogieToStrata: handle cross-nesting and backward gotos
#655
opened Mar 25, 2026 by
tautschnig
Loading…
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…
Resolve Laurel in Python pipeline
Laurel
Python
#638
opened Mar 23, 2026 by
keyboardDrummer
Loading…
Denotational semantics for Laurel IR with concrete evaluator and transform preservation tests
Laurel
#631
opened Mar 20, 2026 by
olivier-aws
Loading…
feat(Core): add Str.ToLower and Str.ToUpper string operations
Core
#621
opened Mar 19, 2026 by
shigoel
Loading…
Fix Python translation pipeline: InstanceCall, control flow, and construct support
Laurel
Python
#613
opened Mar 19, 2026 by
joehendrix
•
Draft
Previous Next
ProTip!
Filter pull requests by the default branch with base:main.