Skip to content

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.

Sign up for GitHub

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

106 Open 79 Closed
106 Open 79 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Handle structure with positional trait whose first member is not required. soundness Bugs that cause the generated code to compute the wrong value or crash
#727 opened Nov 19, 2024 by rishav-karanjit
1
Rust is failing when we have @required Timestamp Rust
#699 opened Nov 7, 2024 by ShubhamChaturvedi7
[Bug] AWS SDK regression for InvalidEndpiont
#680 opened Nov 4, 2024 by texastony
Smithy-generated Dafny interface allows custom implementations of non-@extendable resources
#671 opened Oct 29, 2024 by robin-aws
1
Improve Dafny to Rust code generation performance
#648 opened Oct 18, 2024 by robin-aws Support the DB ESDK and MPL (GA)
1
smithy-dafny doesn't reject models with operations bound to multiple resource shapes
#646 opened Oct 18, 2024 by robin-aws Support the DB ESDK and MPL (GA)
1
Shape Closure in Smithy Dafny
#628 opened Oct 10, 2024 by texastony
2
Align need for orphaned shape generation better with Smithy code generation recommendations/idioms
#627 opened Oct 9, 2024 by robin-aws
4
OrphanedShapes TestModel
#622 opened Oct 8, 2024 by lucasmcdonald3
2
AWS STS/Credential Support
#619 opened Oct 4, 2024 by texastony
Dafny to Rust transpiled code issue
#615 opened Sep 30, 2024 by RitvikKapila
1
Consider removing Client Side Validation for AWS SDK Service Operations
#614 opened Sep 29, 2024 by texastony
3
Standardize validation error text across target languages?
#611 opened Sep 25, 2024 by robin-aws
1
@length() constraint applied incorrectly to strings not tagged with @dafnyUTF8Bytes soundness Bugs that cause the generated code to compute the wrong value or crash
#610 opened Sep 24, 2024 by robin-aws
Model Access Denied from AWS Services
#609 opened Sep 23, 2024 by texastony
4
Automatic checking for cycles of garbage when running on Rust?
#606 opened Sep 22, 2024 by robin-aws Support the DB ESDK and MPL (GA)
Validate assumption that each namespace contains at most one local service
#605 opened Sep 22, 2024 by robin-aws
Audit borrowing/lifetimes on Rust APIs
#604 opened Sep 22, 2024 by robin-aws Support the DB ESDK and MPL (GA)
Add design docs on Rust support
#603 opened Sep 22, 2024 by robin-aws Support the DB ESDK and MPL (GA)
SimpleUnit test model TestModels Relates to Testing the code generator via the TestModels directory
#602 opened Sep 22, 2024 by robin-aws Support the DB ESDK and MPL (GA)
3
Improve layout of merged single-crate modules in Rust Rust
#601 opened Sep 21, 2024 by robin-aws Support the DB ESDK and MPL (GA)
More cases on Positional TestModel TestModels Relates to Testing the code generator via the TestModels directory
#599 opened Sep 21, 2024 by robin-aws Support the DB ESDK and MPL (GA)
1
Improve Error handling/propogation in Rust Rust
#598 opened Sep 21, 2024 by robin-aws Support the DB ESDK and MPL (GA)
@ajewellamz
Use aws_sdk_* crate type for Client for service references in Rust Rust
#597 opened Sep 21, 2024 by robin-aws Support the DB ESDK and MPL (GA)
Input structs in Rust should not use Option<T> for required T fields Rust TestModels Relates to Testing the code generator via the TestModels directory
#596 opened Sep 21, 2024 by robin-aws Support the DB ESDK and MPL (GA)
@ajewellamz
1
ProTip! Adding no:label will show everything without a label.