Merge pull request #1454 from jordancarlin/update_sail

Update Sail

bin/installation/sail-install.sh

@@ -29,7 +29,7 @@
 
 SAIL_COMPILER_VERSION=0.19 # Last release as of May 30, 2025
 CMAKE_VERSION=3.31.5 # Only used for distros with a system CMake that is too old (< 3.20)
-RISCV_SAIL_MODEL_VERSION=a214c522a2f98dc3b1f381169d0b1a27bbe0acd8 # Last commit as of May 29, 2025
+RISCV_SAIL_MODEL_VERSION=3dc7e1c6dd957ba9a0520331270eb4c52dcd33a8 # Last commit as of June 6, 2025
 
 set -e # break on error
 # If run standalone, check environment. Otherwise, use info from main install script

bin/installation/wally-installation-helper-functions.sh

@@ -83,7 +83,7 @@ git_checkout() {
 
     # Checkout the specified version
     git reset --hard "$version"
-    git clean -f && git submodule update
+    git clean -fdx && git submodule update
 }
 
 # Log output to a file and only print lines with keywords

tests/riscof/sail_cSim/rv32gc.json

@@ -42,6 +42,7 @@
       "base": 33554432,
       "size": 786432
     },
+    "clock_frequency": 1000000000,
     "instructions_per_tick": 2,
     "wfi_is_nop": true
   },
@@ -184,13 +185,19 @@
     "Zhinx": {
       "supported": false
     },
+    "Zhinxmin": {
+      "supported": false
+    },
     "Zvbb": {
       "supported": false
     },
+    "Zvbc": {
+      "supported": false
+    },
     "Zvkb": {
       "supported": false
     },
-    "Zvbc": {
+    "Zvkg": {
       "supported": false
     },
     "Zvkned": {

tests/riscof/sail_cSim/rv64gc.json

@@ -42,6 +42,7 @@
       "base": 33554432,
       "size": 786432
     },
+    "clock_frequency": 1000000000,
     "instructions_per_tick": 2,
     "wfi_is_nop": true
   },
@@ -184,13 +185,19 @@
     "Zhinx": {
       "supported": false
     },
+    "Zhinxmin": {
+      "supported": false
+    },
     "Zvbb": {
       "supported": false
     },
+    "Zvbc": {
+      "supported": false
+    },
     "Zvkb": {
       "supported": false
     },
-    "Zvbc": {
+    "Zvkg": {
       "supported": false
     },
     "Zvkned": {