Skip to content

Commit

Permalink
Newer smithy-dafny
Browse files Browse the repository at this point in the history
  • Loading branch information
@robin-aws
robin-aws committed Oct 24, 2024
1 parent 0aa4a05 commit 3bf134a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion smithy-dafny
Submodule smithy-dafny updated 12 files
+6 −6 .github/workflows/smithy-polymorph.yml
+1 −6 SmithyDafnyMakefile.mk
+0 −1 TestModels/dafny-dependencies/StandardLibrary/Makefile
+8 −10 codegen/smithy-dafny-codegen-cli/src/main/java/software/amazon/polymorph/CodegenCli.java
+35 −11 codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/CodegenEngine.java
+60 −19 codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithydafny/DafnyVersion.java
+4 −3 ...y-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/AbstractRustShimGenerator.java
+8 −8 ...thy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustAwsSdkShimGenerator.java
+56 −66 ...hy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustLibraryShimGenerator.java
+6 −2 codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/utils/IOUtils.java
+7 −11 ...ithy-dafny-codegen/src/main/java/software/amazon/smithy/dafny/codegen/DafnyClientCodegenPluginSettings.java
+0 −17 scripts/check_dafny_version.sh

0 comments on commit 3bf134a

Please sign in to comment.