Skip to content

Pull requests: smithy-lang/smithy-dafny

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Bump AWSSDK.Core from 4.0.0 to 4.0.3.3 dependencies Pull requests that update a dependency file .NET
#828 opened Feb 27, 2026 by dependabot bot Loading…
chore: improve rust blocking behavior unit tests
#825 opened Jan 27, 2026 by mhelkey Loading…
fix: Dafny standard libraries .doo building fixes
#788 opened Feb 19, 2025 by robin-aws Loading…
feat: Better .NET type conversion encapsulation
#728 opened Nov 20, 2024 by seebees Loading…
fix(examples): Update SQSExtendedImpl.dfy -
#724 opened Nov 14, 2024 by robin-aws Loading…
Log exit codes during verification
#654 opened Oct 22, 2024 by texastony Draft
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.