generated from amazon-archives/__template_Apache-2.0
-
Notifications
You must be signed in to change notification settings - Fork 28
Pull requests: strata-org/Strata
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Change pythonToLaurel and pythonToCore to take Array stmt
#645
opened Mar 24, 2026 by
joehendrix
•
Draft
Refactor IdentifyOverloads to use ReaderT for OverloadTable
#644
opened Mar 24, 2026 by
joehendrix
•
Draft
Move PythonIdent and OverloadTable to Strata.Languages.Python
#643
opened Mar 24, 2026 by
joehendrix
Loading…
fix(laurel): local variable no longer shadows output parameter
#642
opened Mar 24, 2026 by
fabiomadge
Loading…
Add option to generate SMT queries even for trivial VCs
Core
#640
opened Mar 23, 2026 by
atomb
Loading…
Move all variable declarations to the beginning of the function body
#639
opened Mar 23, 2026 by
thanhnguyen-aws
•
Draft
Fix Boole old lowering for compound expressions
CSLib
PRs and issues marked with this label indicate contributions from/for the CSLib community.
#636
opened Mar 22, 2026 by
kondylidou
Loading…
Support relative and bare imports in PySpec translation
#634
opened Mar 21, 2026 by
joehendrix
•
Draft
Denotational semantics for Laurel IR with concrete evaluator and transform preservation tests
Laurel
#631
opened Mar 20, 2026 by
olivier-aws
Loading…
Fix Laurel soundness bug related to instance procedures
Laurel
#624
opened Mar 20, 2026 by
keyboardDrummer
Loading…
Regex support in Python→Laurel translation
Laurel
Python
#623
opened Mar 19, 2026 by
ssomayyajula
Loading…
feat(Core): add Str.ToLower and Str.ToUpper string operations
Core
#621
opened Mar 19, 2026 by
shigoel
Loading…
[Strata] Better isolation of non-determinism in Core
#617
opened Mar 19, 2026 by
MikaelMayer
•
Draft
feat: Translate PySpec preconditions to Laurel assertions for bug finding
#615
opened Mar 19, 2026 by
MikaelMayer
•
Draft
Fix Python translation pipeline: InstanceCall, control flow, and construct support
Laurel
Python
#613
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…
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…
Add automated overflow/underflow checks for bitvector and floating-point arithmetic
Core
GOTO
#592
opened Mar 17, 2026 by
tautschnig
Loading…
Previous Next
ProTip!
What’s not been updated in a month: updated:<2026-02-24.