Skip to content

Pull requests: smithy-lang/smithy-dafny

New pull request New
14 Open 533 Closed
14 Open 533 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat: Better .NET type conversion encapsulation
#728 opened Nov 20, 2024 by seebees Loading…
Fix positional trait in resources
#725 opened Nov 15, 2024 by rishav-karanjit Loading…
5
fix(examples): Update SQSExtendedImpl.dfy -
#724 opened Nov 14, 2024 by robin-aws Loading…
fix: add missing type conversion in api client and shim
#713 opened Nov 12, 2024 by rishav-karanjit Loading…
19
chore: Python codegen runs in polymorph_code_gen and clean targets
#688 opened Nov 6, 2024 by lucasmcdonald3 Loading…
2
Is there a codegen bug in positional?
#683 opened Nov 5, 2024 by rishav-karanjit • Draft
Golang/reviewed
#668 opened Oct 26, 2024 by ShubhamChaturvedi7 Loading…
Log exit codes during verification
#654 opened Oct 22, 2024 by texastony • Draft
chore: required members should not be Option
#633 opened Oct 15, 2024 by ajewellamz Loading…
Golang/dev
#556 opened Sep 4, 2024 by ShubhamChaturvedi7 • Draft
fix: use nullable types for all structure members (Java, .NET)
#496 opened Jul 26, 2024 by alex-chew Loading…
1
chore(TestModels): Add constraints inside list, map and union
#485 opened Jul 23, 2024 by rishav-karanjit • Draft
2
[Draft] Support package-prefixed NET/Java code
#468 opened Jul 2, 2024 by lucasmcdonald3 • Draft
feat: Explicitly reject unsupported shapes, traits, etc.
#257 opened May 16, 2023 by robin-aws Loading…
1
14
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.