refreshing

KNowledgeOnWebScale · Mar 7, 2024 · 78092e4 · 78092e4
1 parent 3d34212
commit 78092e4
Show file tree

Hide file tree

Showing 21 changed files with 1 addition and 1 deletion.
diff --git a/lingua/proof/ackermann.trig → lingua/output/ackermann.trig b/lingua/proof/ackermann.trig → lingua/output/ackermann.trig
diff --git a/lingua/proof/acp.trig → lingua/output/acp.trig b/lingua/proof/acp.trig → lingua/output/acp.trig
diff --git a/lingua/proof/backward.trig → lingua/output/backward.trig b/lingua/proof/backward.trig → lingua/output/backward.trig
diff --git a/lingua/proof/complement.trig → lingua/output/complement.trig b/lingua/proof/complement.trig → lingua/output/complement.trig
diff --git a/lingua/proof/complex.trig → lingua/output/complex.trig b/lingua/proof/complex.trig → lingua/output/complex.trig
diff --git a/lingua/proof/derived.trig → lingua/output/derived.trig b/lingua/proof/derived.trig → lingua/output/derived.trig
diff --git a/lingua/proof/fibonacci.trig → lingua/output/fibonacci.trig b/lingua/proof/fibonacci.trig → lingua/output/fibonacci.trig
diff --git a/lingua/proof/filter.trig → lingua/output/filter.trig b/lingua/proof/filter.trig → lingua/output/filter.trig
diff --git a/lingua/proof/gps.trig → lingua/output/gps.trig b/lingua/proof/gps.trig → lingua/output/gps.trig
diff --git a/lingua/proof/graph.trig → lingua/output/graph.trig b/lingua/proof/graph.trig → lingua/output/graph.trig
diff --git a/lingua/proof/mi.trig → lingua/output/mi.trig b/lingua/proof/mi.trig → lingua/output/mi.trig
diff --git a/lingua/proof/pack.trig → lingua/output/pack.trig b/lingua/proof/pack.trig → lingua/output/pack.trig
diff --git a/lingua/proof/patch.trig → lingua/output/patch.trig b/lingua/proof/patch.trig → lingua/output/patch.trig
diff --git a/lingua/proof/pi.trig → lingua/output/pi.trig b/lingua/proof/pi.trig → lingua/output/pi.trig
diff --git a/lingua/proof/restdesc.trig → lingua/output/restdesc.trig b/lingua/proof/restdesc.trig → lingua/output/restdesc.trig
diff --git a/lingua/proof/sha512.trig → lingua/output/sha512.trig b/lingua/proof/sha512.trig → lingua/output/sha512.trig
diff --git a/lingua/proof/socrates.trig → lingua/output/socrates.trig b/lingua/proof/socrates.trig → lingua/output/socrates.trig
diff --git a/lingua/proof/turing.trig → lingua/output/turing.trig b/lingua/proof/turing.trig → lingua/output/turing.trig
diff --git a/lingua/proof/union.trig → lingua/output/union.trig b/lingua/proof/union.trig → lingua/output/union.trig
diff --git a/lingua/proof/universal.trig → lingua/output/universal.trig b/lingua/proof/universal.trig → lingua/output/universal.trig
diff --git a/lingua/test b/lingua/test
@@ -16,7 +16,7 @@ echo ""
 for file in *.trig
 do
     echo -en "${file} "
-    see --genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/see .. https://eyereasoner.github.io/see/lingua/$file --output proof/$file
+    see --genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/see .. https://eyereasoner.github.io/see/lingua/$file --output output/$file
     if [[ $(git diff */$file | wc -l) -eq 0 ]]; then
         echo -e "${GREEN}OK${NORMAL}"
         ((OK++))