move test about hypergraph and rule to archive/

cicada-lang · Apr 21, 2024 · 2ca2f6c · 2ca2f6c
1 parent 0ddf562
commit 2ca2f6c
Show file tree

Hide file tree

Showing 27 changed files with 1 addition and 38 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,13 +1,11 @@
-update to esmodule
-
 remove rule support
 
 remove hypergraph support
 
 - move test about hypergraph to docs/archive
 - remove "sjcl"
 
-fix repl for windows
+update to esmodule
 
 # chimera
 

diff --git a/docs/std/finite-domain/FiniteDomain.ch → archive/finite-domain/FiniteDomain.ch b/docs/std/finite-domain/FiniteDomain.ch → archive/finite-domain/FiniteDomain.ch
diff --git a/...std/finite-domain/FiniteDomain.example.ch → ...ive/finite-domain/FiniteDomain.example.ch b/...std/finite-domain/FiniteDomain.example.ch → ...ive/finite-domain/FiniteDomain.example.ch
diff --git a/...finite-domain/FiniteDomain.example.ch.out → ...finite-domain/FiniteDomain.example.ch.out b/...finite-domain/FiniteDomain.example.ch.out → ...finite-domain/FiniteDomain.example.ch.out
diff --git a/docs/std/finite-domain/FiniteDomain.test.ch → archive/finite-domain/FiniteDomain.test.ch b/docs/std/finite-domain/FiniteDomain.test.ch → archive/finite-domain/FiniteDomain.test.ch
diff --git a/...td/finite-domain/FiniteDomain.test.ch.out → ...ve/finite-domain/FiniteDomain.test.ch.out b/...td/finite-domain/FiniteDomain.test.ch.out → ...ve/finite-domain/FiniteDomain.test.ch.out
diff --git a/docs/std/finite-domain/index.ch → archive/finite-domain/index.ch b/docs/std/finite-domain/index.ch → archive/finite-domain/index.ch
diff --git a/docs/tests/globals/hyperrule.ch → archive/hyperrule.ch b/docs/tests/globals/hyperrule.ch → archive/hyperrule.ch
diff --git a/docs/tests/globals/hyperrule.ch.out → archive/hyperrule.ch.out b/docs/tests/globals/hyperrule.ch.out → archive/hyperrule.ch.out
diff --git a/docs/tests/hyperrule/abc.ch → archive/hyperrule/abc.ch b/docs/tests/hyperrule/abc.ch → archive/hyperrule/abc.ch
diff --git a/docs/tests/hyperrule/abc.ch.out → archive/hyperrule/abc.ch.out b/docs/tests/hyperrule/abc.ch.out → archive/hyperrule/abc.ch.out
diff --git a/docs/tests/hyperrule/propagate-idempotent.ch → archive/hyperrule/propagate-idempotent.ch b/docs/tests/hyperrule/propagate-idempotent.ch → archive/hyperrule/propagate-idempotent.ch
diff --git a/...sts/hyperrule/propagate-idempotent.ch.out → ...ive/hyperrule/propagate-idempotent.ch.out b/...sts/hyperrule/propagate-idempotent.ch.out → ...ive/hyperrule/propagate-idempotent.ch.out
diff --git a/...sts/hyperrule/propagate-keep-the-input.ch → ...ive/hyperrule/propagate-keep-the-input.ch b/...sts/hyperrule/propagate-keep-the-input.ch → ...ive/hyperrule/propagate-keep-the-input.ch
diff --git a/...hyperrule/propagate-keep-the-input.ch.out → ...hyperrule/propagate-keep-the-input.ch.out b/...hyperrule/propagate-keep-the-input.ch.out → ...hyperrule/propagate-keep-the-input.ch.out
diff --git a/docs/tests/hyperrule/walk.ch → archive/hyperrule/walk.ch b/docs/tests/hyperrule/walk.ch → archive/hyperrule/walk.ch
diff --git a/docs/tests/hyperrule/walk.ch.out → archive/hyperrule/walk.ch.out b/docs/tests/hyperrule/walk.ch.out → archive/hyperrule/walk.ch.out
diff --git a/...yperrule/weather-hyperrule-list-as-exp.ch → ...yperrule/weather-hyperrule-list-as-exp.ch b/...yperrule/weather-hyperrule-list-as-exp.ch → ...yperrule/weather-hyperrule-list-as-exp.ch
diff --git a/...rule/weather-hyperrule-list-as-exp.ch.out → ...rule/weather-hyperrule-list-as-exp.ch.out b/...rule/weather-hyperrule-list-as-exp.ch.out → ...rule/weather-hyperrule-list-as-exp.ch.out
diff --git a/docs/tests/hyperrule/weather-include.ch → archive/hyperrule/weather-include.ch b/docs/tests/hyperrule/weather-include.ch → archive/hyperrule/weather-include.ch
diff --git a/docs/tests/hyperrule/weather-include.ch.out → archive/hyperrule/weather-include.ch.out b/docs/tests/hyperrule/weather-include.ch.out → archive/hyperrule/weather-include.ch.out
diff --git a/docs/tests/hyperrule/weather-with-guard.ch → archive/hyperrule/weather-with-guard.ch b/docs/tests/hyperrule/weather-with-guard.ch → archive/hyperrule/weather-with-guard.ch
diff --git a/...tests/hyperrule/weather-with-guard.ch.out → archive/hyperrule/weather-with-guard.ch.out b/...tests/hyperrule/weather-with-guard.ch.out → archive/hyperrule/weather-with-guard.ch.out
diff --git a/docs/tests/hyperrule/weather.ch → archive/hyperrule/weather.ch b/docs/tests/hyperrule/weather.ch → archive/hyperrule/weather.ch
diff --git a/docs/tests/hyperrule/weather.ch.out → archive/hyperrule/weather.ch.out b/docs/tests/hyperrule/weather.ch.out → archive/hyperrule/weather.ch.out
diff --git a/docs/tests/basic/function-print.ch b/docs/tests/basic/function-print.ch
@@ -8,27 +8,6 @@ function f() {
     return [x, y]
   }
 
-  hyperrule ABC {
-    ["a", "b"] => ["c"]
-    ["a", "c"] => ["b"]
-    ["b", "c"] => ["a"]
-  }
-
-  print hyperrewrite(ABC, quote ["a", "a", "a"])
-
-  rule conjunctiveNormalForm {
-    not(not(x)) => quote x
-    not(and(x, y)) => quote or(not(x), not(y))
-    not(or(x, y)) => quote and(not(x), not(y))
-    or(and(x, y), z) => quote and(or(x, z), or(y, z))
-    or(x, and(y, z)) => quote and(or(x, y), or(x, z))
-  }
-
-  print rewrite(
-    conjunctiveNormalForm,
-    quote not(and(not(A), not(B))),
-  )
-
   if false {
     print 0
   } else if false {

diff --git a/docs/tests/basic/function-print.ch.out b/docs/tests/basic/function-print.ch.out
@@ -6,20 +6,6 @@
   function f(x, y) {
     return [x, y]
   }
-  hyperrule ABC {
-    ["a", "b"] => ["c"]
-    ["a", "c"] => ["b"]
-    ["b", "c"] => ["a"]
-  }
-  print hyperrewrite(ABC, quote ["a", "a", "a"])
-  rule conjunctiveNormalForm {
-    not(not(x)) => quote x
-    not(and(x, y)) => quote or(not(x), not(y))
-    not(or(x, y)) => quote and(not(x), not(y))
-    or(and(x, y), z) => quote and(or(x, z), or(y, z))
-    or(x, and(y, z)) => quote and(or(x, y), or(x, z))
-  }
-  print rewrite(conjunctiveNormalForm, quote not(and(not(A), not(B))))
   if false {
     print 0
   } else if false {