Issues: smithy-lang/smithy-dafny
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Parameterized test for TestModels
TestModels
Relates to Testing the code generator via the TestModels directory
#376
opened May 21, 2024 by
robin-aws
Support SimpleString on Rust
Rust
TestModels
Relates to Testing the code generator via the TestModels directory
#375
opened May 16, 2024 by
robin-aws
Add TestModel for alternate constructors
TestModels
Relates to Testing the code generator via the TestModels directory
#374
opened May 16, 2024 by
robin-aws
Add TestModel for recursive shapes
TestModels
Relates to Testing the code generator via the TestModels directory
#373
opened May 16, 2024 by
robin-aws
Add TestModel for calling an AWS SDK from a local service
TestModels
Relates to Testing the code generator via the TestModels directory
#372
opened May 16, 2024 by
robin-aws
Add TestModel for simplified AWS SDK
TestModels
Relates to Testing the code generator via the TestModels directory
#371
opened May 16, 2024 by
robin-aws
Add TestModel for @positional
TestModels
Relates to Testing the code generator via the TestModels directory
#370
opened May 16, 2024 by
robin-aws
[.NET & Java] Expect Equivlence check across runtimes yields different results
Java
.NET
#362
opened May 14, 2024 by
texastony
[Java, .NET, & all future runtimes] Support smithy.api#deprecated
enhancement
New feature or request
Java
.NET
#360
opened May 13, 2024 by
texastony
[.NET] Support @documentation trait only for plaintext content
enhancement
New feature or request
.NET
#359
opened May 13, 2024 by
texastony
Duplicate names in generated Dafny code when model contains "Error" shape
#350
opened May 2, 2024 by
justplaz
Code generation not correct on Windows
bug
Something isn't working
#317
opened Feb 14, 2024 by
robin-aws
Implement linting/smithy-diff/validation rules for traits like @positional and @reference
#315
opened Feb 6, 2024 by
robin-aws
Use @smithy.test#smokeTests in test models (was: Add tests to verify how AWS SDKs handle optional types)
#298
opened Oct 11, 2023 by
seebees
Generated Java cannot handle Optional Fields properly
soundness
Bugs that cause the generated code to compute the wrong value or crash
#278
opened Jul 8, 2023 by
texastony
Design support for @streaming trait (including hand-written TestModel)
#275
opened Jun 26, 2023 by
robin-aws
Previous Next
ProTip!
Adding no:label will show everything without a label.