m

Author: ajewellamz

TestVectors/project.properties

@@ -1,4 +1,4 @@
 # This file stores the top level dafny version information.
 # All elements of the project need to agree on this version.
-dafnyVersion=4.8.0
-dafnyRuntimeJavaVersion=4.8.0
+dafnyVersion=4.9.0
+dafnyRuntimeJavaVersion=4.9.0

project.properties

@@ -1,6 +1,6 @@
 projectJavaVersion=3.7.0-SNAPSHOT
-mplDependencyJavaVersion=1.7.2-SNAPSHOT
-dafnyVersion=4.8.0
-dafnyVerifyVersion=4.8.0
-dafnyRuntimeJavaVersion=4.8.0
+mplDependencyJavaVersion=1.7.4-SNAPSHOT
+dafnyVersion=4.9.0
+dafnyVerifyVersion=4.9.0
+dafnyRuntimeJavaVersion=4.9.0
 smithyDafnyJavaConversionVersion=0.1.1