Add VeriFast CI

Author: btj

.github/workflows/verifast.yml

@@ -0,0 +1,42 @@
+name: VeriFast
+
+on:
+  workflow_dispatch:
+  merge_group:
+  pull_request:
+    branches: [ main ]
+  push:
+    paths:
+      - 'library/**'
+      - '.github/workflows/verifast.yml'
+      - 'verifast-proofs/**'
+
+defaults:
+  run:
+    shell: bash
+
+jobs:
+  check-verifast-on-std:
+    name: Verify std library
+    runs-on: ubuntu-latest
+    
+    steps:
+      - name: Checkout Repository
+        uses: actions/checkout@v4
+      
+      - name: Install VeriFast
+        run: |
+          cd ~
+          curl -OL https://github.com/verifast/verifast/releases/download/24.12/verifast-24.12-linux.tar.gz
+          # https://github.com/verifast/verifast/attestations/3689894
+          echo '51bebf990f31666abcd3675000e7714ef79b417390e930953ef25383e8d59421  verifast-24.12-linux.tar.gz' | shasum -a 256 -c
+          tar xf verifast-24.12-linux.tar.gz
+
+      - name: Install the Rust toolchain used by VeriFast
+        run: rustup toolchain install nightly-2024-11-23
+
+      - name: Run VeriFast Verification
+        run: |
+          export PATH=~/verifast-24.12/bin:$PATH
+          cd verifast-proofs
+          mysh check-verifast-proofs.mysh

verifast-proofs/.gitignore

@@ -0,0 +1,2 @@
+*.stripped.rs
+*.computed.diff