Skip to content

Releases: smithy-lang/smithy-dafny

v0.2

05 Apr 22:11
@robin-aws robin-aws
v0.2
4787373
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v0.2 Latest
Latest

This release/tag exists to mark the version of smithy-dafny that provides a "dafny-client-codegen" Smithy build plugin, in the same style as other Smithy code generation projects.

Assets 2
Loading

v0.1

19 Aug 20:10
@alex-chew alex-chew
v0.1
5c5b496
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v0.1

This release/tag exists to mark the version of Polymorph we used to compile and release the AWS Encryption SDK for .NET v3.0.0.

Loading