Skip to content

Pull requests: smithy-lang/smithy-dafny

New pull request New
15 Open 618 Closed
15 Open 618 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

chore(deps-dev): bump black from 24.3.0 to 26.3.1 in /codegen/smithy-dafny-codegen-modules/smithy-python/python-packages/smithy-python dependencies Pull requests that update a dependency file python Pull requests that update Python code
#829 opened Mar 12, 2026 by dependabot bot Loading…
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…
feat(rust): Remove unnecessary Mutex overhead for resource references
#823 opened Jan 8, 2026 by LucaButBoring Loading…
[Python] Fix #816: Handle Dafny 4.11's escaping of reserved names
#817 opened Sep 14, 2025 by ssomayyajula • Draft
Use mainline Dafny standard library for streaming, support Java
#806 opened Jun 21, 2025 by robin-aws • Draft
fix(java): empty nullable lists convert to optional empty lists
#794 opened Mar 10, 2025 by seebees Loading…
2
fix: Dafny standard libraries .doo building fixes
#788 opened Feb 19, 2025 by robin-aws Loading…
1
feat(go): Add smithy-model API documentation for Go
#785 opened Feb 10, 2025 by RitvikKapila • Draft
chore(.NET): collection of errors ListAsString
#766 opened Jan 21, 2025 by josecorella • Draft
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…
chore!: Python and Go codegen runs in polymorph_code_gen target
#688 opened Nov 6, 2024 by lucasmcdonald3 Loading…
4
Log exit codes during verification
#654 opened Oct 22, 2024 by texastony • Draft
[Draft] Support package-prefixed NET/Java code
#468 opened Jul 2, 2024 by lucasmcdonald3 • Draft
ProTip! Exclude everything labeled bug with -label:bug.