dafny runtime python

Author: imabhichow

.github/workflows/check_dafny_runtime_versions.yml

@@ -24,8 +24,8 @@ jobs:
           # Normalize by removing `.postN` if present
           normalized_dafny_runtime_python_version=$(echo "$dafny_runtime_python_version" | sed 's/\.post[0-9]*$//')
 
-          # Extract the version from project.properties
-          dafny_version=$(grep -oP 'dafnyVersion=\K[^\s]+' project.properties)
+          # Extract the Dafny Runtime Python Version from project.properties
+          dafny_version=$(grep -oP 'dafnyRuntimePythonVersion=\K[^\s]+' project.properties)
 
           # Check if the versions match
           if [ "$normalized_dafny_runtime_python_version" != "$dafny_version" ]; then

project.properties

@@ -7,5 +7,6 @@
 # And the Dotnet projects include and parse this file.
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.1
+dafnyRuntimePythonVersion=4.11.0
 dafnyRustVersion=nightly-2025-01-30-7db1e5f
 mplVersion=1.11.1-SNAPSHOT