up

cicada-lang · Apr 21, 2024 · 7de55e8 · 7de55e8
1 parent 605c132
commit 7de55e8
Show file tree

Hide file tree

Showing 40 changed files with 0 additions and 0 deletions.
diff --git a/archive/finite-domain/FiniteDomain.ch → archive/tests/finite-domain/FiniteDomain.ch b/archive/finite-domain/FiniteDomain.ch → archive/tests/finite-domain/FiniteDomain.ch
diff --git a/...ive/finite-domain/FiniteDomain.example.ch → ...sts/finite-domain/FiniteDomain.example.ch b/...ive/finite-domain/FiniteDomain.example.ch → ...sts/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/archive/finite-domain/FiniteDomain.test.ch → .../tests/finite-domain/FiniteDomain.test.ch b/archive/finite-domain/FiniteDomain.test.ch → .../tests/finite-domain/FiniteDomain.test.ch
diff --git a/...ve/finite-domain/FiniteDomain.test.ch.out → ...ts/finite-domain/FiniteDomain.test.ch.out b/...ve/finite-domain/FiniteDomain.test.ch.out → ...ts/finite-domain/FiniteDomain.test.ch.out
diff --git a/archive/finite-domain/index.ch → archive/tests/finite-domain/index.ch b/archive/finite-domain/index.ch → archive/tests/finite-domain/index.ch
diff --git a/archive/hyperrule.ch → archive/tests/hyperrule.ch b/archive/hyperrule.ch → archive/tests/hyperrule.ch
diff --git a/archive/hyperrule.ch.out → archive/tests/hyperrule.ch.out b/archive/hyperrule.ch.out → archive/tests/hyperrule.ch.out
diff --git a/archive/hyperrule/abc.ch → archive/tests/hyperrule/abc.ch b/archive/hyperrule/abc.ch → archive/tests/hyperrule/abc.ch
diff --git a/archive/hyperrule/abc.ch.out → archive/tests/hyperrule/abc.ch.out b/archive/hyperrule/abc.ch.out → archive/tests/hyperrule/abc.ch.out
diff --git a/archive/hyperrule/propagate-idempotent.ch → ...e/tests/hyperrule/propagate-idempotent.ch b/archive/hyperrule/propagate-idempotent.ch → ...e/tests/hyperrule/propagate-idempotent.ch
diff --git a/...ive/hyperrule/propagate-idempotent.ch.out → ...sts/hyperrule/propagate-idempotent.ch.out b/...ive/hyperrule/propagate-idempotent.ch.out → ...sts/hyperrule/propagate-idempotent.ch.out
diff --git a/...ive/hyperrule/propagate-keep-the-input.ch → ...sts/hyperrule/propagate-keep-the-input.ch b/...ive/hyperrule/propagate-keep-the-input.ch → ...sts/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/archive/hyperrule/walk.ch → archive/tests/hyperrule/walk.ch b/archive/hyperrule/walk.ch → archive/tests/hyperrule/walk.ch
diff --git a/archive/hyperrule/walk.ch.out → archive/tests/hyperrule/walk.ch.out b/archive/hyperrule/walk.ch.out → archive/tests/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/archive/hyperrule/weather-include.ch → archive/tests/hyperrule/weather-include.ch b/archive/hyperrule/weather-include.ch → archive/tests/hyperrule/weather-include.ch
diff --git a/archive/hyperrule/weather-include.ch.out → ...ve/tests/hyperrule/weather-include.ch.out b/archive/hyperrule/weather-include.ch.out → ...ve/tests/hyperrule/weather-include.ch.out
diff --git a/archive/hyperrule/weather-with-guard.ch → ...ive/tests/hyperrule/weather-with-guard.ch b/archive/hyperrule/weather-with-guard.ch → ...ive/tests/hyperrule/weather-with-guard.ch
diff --git a/archive/hyperrule/weather-with-guard.ch.out → ...tests/hyperrule/weather-with-guard.ch.out b/archive/hyperrule/weather-with-guard.ch.out → ...tests/hyperrule/weather-with-guard.ch.out
diff --git a/archive/hyperrule/weather.ch → archive/tests/hyperrule/weather.ch b/archive/hyperrule/weather.ch → archive/tests/hyperrule/weather.ch
diff --git a/archive/hyperrule/weather.ch.out → archive/tests/hyperrule/weather.ch.out b/archive/hyperrule/weather.ch.out → archive/tests/hyperrule/weather.ch.out
diff --git a/archive/rule.ch → archive/tests/rule.ch b/archive/rule.ch → archive/tests/rule.ch
diff --git a/archive/rule.ch.out → archive/tests/rule.ch.out b/archive/rule.ch.out → archive/tests/rule.ch.out
diff --git a/archive/rule/arithmetic.ch → archive/tests/rule/arithmetic.ch b/archive/rule/arithmetic.ch → archive/tests/rule/arithmetic.ch
diff --git a/archive/rule/arithmetic.ch.out → archive/tests/rule/arithmetic.ch.out b/archive/rule/arithmetic.ch.out → archive/tests/rule/arithmetic.ch.out
diff --git a/archive/rule/combinatory-logic.ch → archive/tests/rule/combinatory-logic.ch b/archive/rule/combinatory-logic.ch → archive/tests/rule/combinatory-logic.ch
diff --git a/archive/rule/combinatory-logic.ch.out → archive/tests/rule/combinatory-logic.ch.out b/archive/rule/combinatory-logic.ch.out → archive/tests/rule/combinatory-logic.ch.out
diff --git a/archive/rule/conjunctive-normal-form.ch → ...ive/tests/rule/conjunctive-normal-form.ch b/archive/rule/conjunctive-normal-form.ch → ...ive/tests/rule/conjunctive-normal-form.ch
diff --git a/archive/rule/conjunctive-normal-form.ch.out → ...tests/rule/conjunctive-normal-form.ch.out b/archive/rule/conjunctive-normal-form.ch.out → ...tests/rule/conjunctive-normal-form.ch.out
diff --git a/archive/rule/rule-list-as-exp.ch → archive/tests/rule/rule-list-as-exp.ch b/archive/rule/rule-list-as-exp.ch → archive/tests/rule/rule-list-as-exp.ch
diff --git a/archive/rule/rule-list-as-exp.ch.out → archive/tests/rule/rule-list-as-exp.ch.out b/archive/rule/rule-list-as-exp.ch.out → archive/tests/rule/rule-list-as-exp.ch.out
diff --git a/archive/rule/same-pattern-variable.ch → archive/tests/rule/same-pattern-variable.ch b/archive/rule/same-pattern-variable.ch → archive/tests/rule/same-pattern-variable.ch
diff --git a/archive/rule/same-pattern-variable.ch.out → ...e/tests/rule/same-pattern-variable.ch.out b/archive/rule/same-pattern-variable.ch.out → ...e/tests/rule/same-pattern-variable.ch.out
diff --git a/archive/rule/with-guard.ch → archive/tests/rule/with-guard.ch b/archive/rule/with-guard.ch → archive/tests/rule/with-guard.ch
diff --git a/archive/rule/with-guard.ch.out → archive/tests/rule/with-guard.ch.out b/archive/rule/with-guard.ch.out → archive/tests/rule/with-guard.ch.out
diff --git a/archive/rule/with-include.ch → archive/tests/rule/with-include.ch b/archive/rule/with-include.ch → archive/tests/rule/with-include.ch
diff --git a/archive/rule/with-include.ch.out → archive/tests/rule/with-include.ch.out b/archive/rule/with-include.ch.out → archive/tests/rule/with-include.ch.out