comment big theories

.github/workflows/pvs_prelude.yml

@@ -24,4 +24,9 @@ jobs:
       run: |
         eval $(opam env --switch=~/lambdapi --set-switch)
         cd pvs-translation-tools/prelude || exit 1
+        # Comment out theories that consume too much memory during 
+        # typechecking
+        sed -i 's/^floor_ceil$/-floor_ceil/' theories
+        sed -i 's/^modulo_arithmetic$/-modulo_arithmetic/' theories
+        sed -i 's/^mod$/-mod/' theories
         bmake PVSPATH=~/PVS # Set in bootstrap.sh