directory renaming

.github/workflows/pvs_prelude.yml

@@ -10,7 +10,7 @@ jobs:
     - uses: actions/checkout@v2
 
     - name: setup
-      run: ci/bootstrap.sh
+      run: tools/bootstrap.sh
       shell: sh
 
     - name: install personoj
@@ -23,7 +23,7 @@ jobs:
     - name: translate and typecheck
       run: |
         eval $(opam env --switch=~/lambdapi --set-switch)
-        cd pvs-translation-tools/prelude || exit 1
+        cd tools/prelude || exit 1
         # Comment out theories that consume too much memory during 
         # typechecking
         sed -i 's/^floor_ceil$/-floor_ceil/' theories

README.md

@@ -36,4 +36,4 @@ the path (absolute or relative to `$HOME`) to the `exporter` directory.
 
 ### Usage
 
-See `pvs-translation-tools/README.md`.
+See `tools/README.md`.

ci/bootstrap.sh → tools/bootstrap.sh

@@ -39,7 +39,7 @@ gclone https://github.com/SRI-CSL/PVS.git PVS pvs7.1
  PVSPATH="${HOME}/PVS"
  export PVSPATH
 
- for p in $(find pvs-translation-tools/prelude_patches -name '*.diff' | sort); do
+ for p in $(find tools/prelude_patches -name '*.diff' | sort); do
      patch "${PVSPATH}/lib/prelude.pvs" "$p"
  done