-
Notifications
You must be signed in to change notification settings - Fork 13
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#816 In smithy-lang/smithy-dafny;
- Status: Open.#787 In smithy-lang/smithy-dafny;
- Status: Open.#780 In smithy-lang/smithy-dafny;
- Status: Open.
- Status: Open.#763 In smithy-lang/smithy-dafny;
Support @documentation for Dafny
enhancementNew feature or requestNew feature or requestStatus: Open.#756 In smithy-lang/smithy-dafny;AWS SDK responses are not (can not?) be validated in Rust
soundnessBugs that cause the generated code to compute the wrong value or crashBugs that cause the generated code to compute the wrong value or crashStatus: Open.#751 In smithy-lang/smithy-dafny;Support @sensitive trait
enhancementNew feature or requestNew feature or requestStatus: Open.#749 In smithy-lang/smithy-dafny;- Status: Open.#745 In smithy-lang/smithy-dafny;
Handle structure with positional trait whose first member is not required.
soundnessBugs that cause the generated code to compute the wrong value or crashBugs that cause the generated code to compute the wrong value or crashStatus: Open.#727 In smithy-lang/smithy-dafny;- Status: Open.#699 In smithy-lang/smithy-dafny;
- Status: Open.#680 In smithy-lang/smithy-dafny;