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
Support relative and bare imports in PySpec translation
#634
opened Mar 21, 2026 by
joehendrix
•
Draft
3 tasks done
feat(SMT): avoid redundant reset, globally unique quantified var names, more smtReservedKeywords
Core
SMT
#632
opened Mar 20, 2026 by
aqjune-aws
Loading…
Denotational semantics for Laurel IR with concrete evaluator and transform preservation tests
Laurel
#631
opened Mar 20, 2026 by
olivier-aws
Loading…
Bump actions/setup-python from 5 to 6
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#628
opened Mar 20, 2026 by
dependabot
bot
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
Add more integration tests for PyAnalyzeLaurel
Laurel
Python
#614
opened Mar 19, 2026 by
andrewmwells-amazon
Loading…
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…
Formal big-step operational semantics for CBMC's GOTO IL
GOTO
#582
opened Mar 16, 2026 by
tautschnig
Loading…
Add type constraint assertions and pre-conditions for function inputs
Laurel
Python
#577
opened Mar 13, 2026 by
thanhnguyen-aws
Loading…
feat: conservatively abstract unsupported Python constructs
Laurel
Python
#566
opened Mar 12, 2026 by
MikaelMayer
Loading…
Support deriving Ion deserialization for Lean types such as Laurel
#538
opened Mar 10, 2026 by
keyboardDrummer
•
Draft
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.