Pin RefinedRust to a specific version (#70)

* pin RefinedRust version
---------

Signed-off-by: Lennard Gäher <l.gaeher@posteo.de>
Co-authored-by: Wojciech Ozga <woz@zurich.ibm.com>

.github/workflows/build.yml

@@ -8,7 +8,7 @@ on:
 
 jobs:
   build:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     steps:
     - uses: actions/checkout@v3
       with:

.github/workflows/verify.yml

@@ -24,14 +24,10 @@ jobs:
       run: opam switch create refinedrust-ace --packages=ocaml-variants.4.14.1+options,ocaml-option-flambda
     - name: Install coq
       run: eval $(opam env) && opam update && opam pin add coq 8.17.1 -y
-    #- name: Fix permissions
-      #run: chown -R 1000 .
     - name: ls
       run: ls -la .
     - name: Install openssl dependency
       run: sudo apt update && sudo apt install libssl-dev -y
-    - name: Pull RefinedRust
-      run: git clone https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev.git verification/refinedrust
     - name: Install rustup
       run: curl --proto "=https" --tlsv1.2 -sSf https://sh.rustup.rs | bash /dev/stdin "-y"
     - name: Setup Rust toolchain

.gitmodules

@@ -7,3 +7,6 @@
 [submodule "security-monitor/opensbi"]
 	path = security-monitor/opensbi
 	url = https://github.com/riscv-software-src/opensbi.git
+[submodule "verification/refinedrust"]
+	path = verification/refinedrust
+	url = https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev.git

confidential-vms/linux_vm/configurations/qemu_riscv64_virt_defconfig

@@ -77,4 +77,4 @@ BR2_PER_PACKAGE_DIRECTORIES=y
 BR2_VERBOSE=0
 
 
-BR2_PACKAGE_NVME=y
+BR2_PACKAGE_NVME=y

verification/.gitignore

@@ -2,6 +2,5 @@ _opam
 _build
 log 
 rustc-ice-*
-refinedrust
 generated_code.bak
 _CoqProject

verification/setup.md

@@ -11,10 +11,7 @@ This file documents the basic verification setup.
 For using the RefinedRust toolchain and checking the verified parts of the code, you need to install both the Coq proof assistant and RefinedRust Coq libraries as well as the RefinedRust frontend.
 
 First of all, open a terminal and navigate to the directory containing this file.
-Then, clone the RefinedRust repository into a subdirectory:
-```
-git clone https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev.git refinedrust
-```
+Make sure that there is a subdirectory called `refinedrust` that is up-to-date.
 
 ### Installing Coq and the RefinedRust Coq libraries