Merge branch 'master' into isla-litmus-dump

rems-project · Apr 17, 2024 · 3f71721 · 3f71721
2 parents 3a3f59f + a9b68f3
commit 3f71721
Show file tree

Hide file tree

Showing 48 changed files with 1,212 additions and 685 deletions.
diff --git a/.github/workflows/ubuntu_22_04.yml b/.github/workflows/ubuntu_22_04.yml
@@ -28,12 +28,12 @@ jobs:
         sudo apt install build-essential libgmp-dev z3 libz3-dev gcc-aarch64-linux-gnu gcc-riscv64-unknown-elf
         z3 -version
         opam install dune
-        git clone https://github.com/rems-project/sail.git
+        git clone --branch new_smt https://github.com/rems-project/sail.git
         opam pin -y add sail
     - name: Set Rust toolchain
       uses: actions-rs/toolchain@v1
       with:
-        toolchain: 1.65
+        toolchain: 1.70.0
         default: true
     - name: Build
       run: |