Pull requests: smithy-lang/smithy-dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
ci: Check for differences after regenerating for Rust
#386
opened May 23, 2024 by
robin-aws
Loading…
chore: Update Smithy-Python module with forked changes
#378
opened May 21, 2024 by
lucasmcdonald3
•
Draft
feat: Explicitly reject unsupported shapes, traits, etc.
#257
opened May 16, 2023 by
robin-aws
Loading…
feat(DafnyGo): Adds support for basic structs
#240
opened Apr 27, 2023 by
ShubhamChaturvedi7
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.