Merge branch 'master' into typo-fixes

Author: Amxx

.gitattributes

@@ -1,3 +1,3 @@
-certora/specs/*.spec linguist-language=Solidity
-certora/specs/*.conf linguist-detectable
-certora/specs/*.conf linguist-language=JSON5
+fv/specs/*.spec linguist-language=Solidity
+fv/specs/*.conf linguist-detectable
+fv/specs/*.conf linguist-language=JSON5

.github/workflows/checks.yml

@@ -109,7 +109,7 @@ jobs:
         uses: ./.github/actions/setup
       - name: Compile harnesses
         run: |
-          make -C certora apply
+          make -C fv apply
           npm run compile:harnesses
 
   slither:

.github/workflows/formal-verification.yml

@@ -22,7 +22,7 @@ jobs:
     steps:
       - uses: actions/checkout@v5
       - name: Apply patches
-        run: make -C certora apply
+        run: make -C fv apply
 
   verify:
     runs-on: ubuntu-latest
@@ -38,7 +38,7 @@ jobs:
         run: |
           if [[ ${{ github.event_name }} = 'pull_request' && ${{ contains(github.event.pull_request.labels.*.name, 'formal-verification-force-all') }} = 'false' ]];
           then
-            RESULT=$(git diff ${{ github.event.pull_request.head.sha }}..${{ github.event.pull_request.base.sha }} --name-only certora/specs/*.spec | while IFS= read -r file; do [[ -f $file ]] && basename "${file%.spec}"; done | tr "\n" " ")
+            RESULT=$(git diff ${{ github.event.pull_request.head.sha }}..${{ github.event.pull_request.base.sha }} --name-only fv/specs/*.spec | while IFS= read -r file; do [[ -f $file ]] && basename "${file%.spec}"; done | tr "\n" " ")
           else
             RESULT='--all'
           fi
@@ -63,8 +63,8 @@ jobs:
           chmod +x /usr/local/bin/solc
       - name: Verify specification
         run: |
-          make -C certora apply
-          node certora/run.js ${{ steps.arguments.outputs.result }} -p 1 -v >> "$GITHUB_STEP_SUMMARY"
+          make -C fv apply
+          node fv/run.js ${{ steps.arguments.outputs.result }} -p 1 -v >> "$GITHUB_STEP_SUMMARY"
         env:
           CERTORAKEY: ${{ secrets.CERTORAKEY }}