Skip to content

Commit 9fd4b48

Browse files
ajewellamzajewellamz
authored
chore: bump smithy-dafny to latest (#774)
1 parent 3b9297a commit 9fd4b48

File tree

5 files changed

+36
-2
lines changed

5 files changed

+36
-2
lines changed

‎AwsEncryptionSDK/project.properties

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
# This file stores the top level dafny version information.
2+
# All elements of the project need to agree on this version.
3+
dafnyVersion=4.9.0
4+
dafnyRuntimeJavaVersion=4.9.0

‎AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go

Lines changed: 15 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go

Lines changed: 15 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎mpl

Submodule mpl updated from 80e28f3 to d3e7916

‎project.properties

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,6 @@ dafnyVersion=4.9.0
44
dafnyVerifyVersion=4.9.0
55
dafnyFormatVersion=4.9.0
66
projectJavaVersion=4.1.0
7-
mplDependencyJavaVersion=1.9.0-SNAPSHOT
7+
mplDependencyJavaVersion=1.10.1-SNAPSHOT
88
dafnyRuntimeJavaVersion=4.9.0
99
smithyDafnyJavaConversionVersion=0.1.1

0 commit comments

Comments
 (0)