Skip to content

Pull requests: strata-org/Strata

New pull request New
37 Open 523 Closed
37 Open 523 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

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…
Add collectTypeRefs for TCore Laurel
#630 opened Mar 20, 2026 by thanhnguyen-aws Loading…
2
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…
2
Regex support in Python→Laurel translation Laurel Python
#623 opened Mar 19, 2026 by ssomayyajula Loading…
6
feat(Core): add Str.ToLower and Str.ToUpper string operations Core
#621 opened Mar 19, 2026 by shigoel Loading…
3
[Strata] Better isolation of non-determinism in Core
#617 opened Mar 19, 2026 by MikaelMayer • Draft
1
5
feat: Translate PySpec preconditions to Laurel assertions for bug finding
#615 opened Mar 19, 2026 by MikaelMayer • Draft
6
Add more integration tests for PyAnalyzeLaurel Laurel Python
#614 opened Mar 19, 2026 by andrewmwells-amazon Loading…
2
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…
20
Remove specific users from codeowners file
#602 opened Mar 18, 2026 by keyboardDrummer Loading…
1
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…
13
Laurel semantics Laurel
#583 opened Mar 16, 2026 by keyboardDrummer • Draft
Formal big-step operational semantics for CBMC's GOTO IL GOTO
#582 opened Mar 16, 2026 by tautschnig Loading…
@tautschnig
20
Add type constraint assertions and pre-conditions for function inputs Laurel Python
#577 opened Mar 13, 2026 by thanhnguyen-aws Loading…
12
Add CFG-to-CProverGOTO translation GOTO
#574 opened Mar 13, 2026 by tautschnig Loading…
@atomb @tautschnig
21
feat: conservatively abstract unsupported Python constructs Laurel Python
#566 opened Mar 12, 2026 by MikaelMayer Loading…
24
Support deriving Ion deserialization for Lean types such as Laurel
#538 opened Mar 10, 2026 by keyboardDrummer • Draft
Irrelevant axiom removal implemented as a program transform
#524 opened Mar 6, 2026 by shigoel • Draft
8
ProTip! Mix and match filters to narrow down what you’re looking for.