| absent.scm | May 2, 2022, 8:56:28 PM | 2.04 KiB | |
| absent-conn1.scm | May 2, 2022, 8:56:28 PM | 1.37 KiB | |
| absent-conn2.scm | May 2, 2022, 8:56:28 PM | 1.37 KiB | |
| absent-disconn1.scm | May 2, 2022, 8:56:28 PM | 870 B | |
| absent-disconn2.scm | May 2, 2022, 8:56:28 PM | 781 B | |
| absent-multi.scm | May 2, 2022, 8:56:28 PM | 2.15 KiB | |
| absent-pets.scm | May 2, 2022, 8:56:28 PM | 1.35 KiB | |
| AbsentUTest.cxxtest | May 2, 2022, 8:56:28 PM | 8.75 KiB | |
| always.scm | May 2, 2022, 8:56:28 PM | 2.67 KiB | |
| always-more.scm | May 2, 2022, 8:56:28 PM | 4.82 KiB | |
| AlwaysUTest.cxxtest | May 2, 2022, 8:56:28 PM | 3.79 KiB | |
| anchor.scm | May 2, 2022, 8:56:28 PM | 1.12 KiB | |
| AnchorUTest.cxxtest | May 2, 2022, 8:56:28 PM | 3.46 KiB | |
| arcana-bigger-dummy.scm | May 2, 2022, 8:56:28 PM | 868 B | |
| arcana-const.scm | May 2, 2022, 8:56:28 PM | 714 B | |
| arcana-dummy.scm | May 2, 2022, 8:56:28 PM | 310 B | |
| arcana-numeric.scm | May 2, 2022, 8:56:28 PM | 1.02 KiB | |
| arcana-repeat.scm | May 2, 2022, 8:56:28 PM | 5.16 KiB | |
| ArcanaUTest.cxxtest | May 2, 2022, 8:56:28 PM | 6.40 KiB | |
| BiggerPatternUTest.cxxtest | May 2, 2022, 8:56:28 PM | 9.40 KiB | |
| BigPatternUTest.cxxtest | May 2, 2022, 8:56:28 PM | 4.13 KiB | |
| bind-tv.scm | May 2, 2022, 8:56:28 PM | 801 B | |
| BindTVUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.43 KiB | |
| BindVariableSetUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.72 KiB | |
| blair-witch.scm | May 2, 2022, 8:56:28 PM | 724 B | |
| Boolean2NotUTest.cxxtest | May 2, 2022, 8:56:28 PM | 6.15 KiB | |
| BooleanUTest.cxxtest | May 2, 2022, 8:56:28 PM | 5.33 KiB | |
| BuggyBindLinkUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.31 KiB | |
| buggy-crime.scm | May 2, 2022, 8:56:28 PM | 2.43 KiB | |
| buggy-equal.scm | May 2, 2022, 8:56:28 PM | 4.75 KiB | |
| buggy-equal-arithmetic.scm | May 2, 2022, 8:56:28 PM | 435 B | |
| buggy-equal-unify.scm | May 2, 2022, 8:56:28 PM | 621 B | |
| BuggyEqualUTest.cxxtest | May 2, 2022, 8:56:28 PM | 4.41 KiB | |
| buggy-link.scm | May 2, 2022, 8:56:28 PM | 1.25 KiB | |
| BuggyLinkUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.46 KiB | |
| buggy-not.scm | May 2, 2022, 8:56:28 PM | 2.43 KiB | |
| BuggyNotUTest.cxxtest | May 2, 2022, 8:56:28 PM | 3.54 KiB | |
| BuggyQuoteUTest.cxxtest | May 2, 2022, 8:56:28 PM | 3.50 KiB | |
| buggy-selfgnd.scm | May 2, 2022, 8:56:28 PM | 1.15 KiB | |
| BuggySelfGroundUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.31 KiB | |
| buggy-stack.scm | May 2, 2022, 8:56:28 PM | 2.70 KiB | |
| BuggyStackUTest.cxxtest | May 2, 2022, 8:56:28 PM | 1.98 KiB | |
| CacheHitUTest.cxxtest | May 2, 2022, 8:56:28 PM | 4.62 KiB | |
| choice-compound.scm | May 2, 2022, 8:56:28 PM | 2.44 KiB | |
| choice-constant.scm | May 2, 2022, 8:56:28 PM | 474 B | |
| choice-disconnected.scm | May 2, 2022, 8:56:28 PM | 1.39 KiB | |
| choice-double.scm | May 2, 2022, 8:56:28 PM | 1.09 KiB | |
| choice-embed.scm | May 2, 2022, 8:56:28 PM | 1.08 KiB | |
| choice-embed-disco.scm | May 2, 2022, 8:56:28 PM | 1.42 KiB | |
| choice-link.scm | May 2, 2022, 8:56:28 PM | 996 B | |
| ChoiceLinkUTest.cxxtest | May 2, 2022, 8:56:28 PM | 8.55 KiB | |
| choice-nest.scm | May 2, 2022, 8:56:28 PM | 3.14 KiB | |
| choice-present.scm | May 2, 2022, 8:56:28 PM | 685 B | |
| choice-top-nest.scm | May 2, 2022, 8:56:28 PM | 2.87 KiB | |
| choice-typed.scm | May 2, 2022, 8:56:28 PM | 1.09 KiB | |
| choice-unary.scm | May 2, 2022, 8:56:28 PM | 1.08 KiB | |
| classical-boolean.scm | May 2, 2022, 8:56:28 PM | 2.05 KiB | |
| ClassicalBooleanUTest.cxxtest | May 2, 2022, 8:56:28 PM | 4.88 KiB | |
| CMakeLists.txt | May 2, 2022, 8:56:28 PM | 3.60 KiB | |
| constant-clauses.scm | May 2, 2022, 8:56:28 PM | 1.20 KiB | |
| ConstantClausesUTest.cxxtest | May 2, 2022, 8:56:28 PM | 15.11 KiB | |
| constant-present.scm | May 2, 2022, 8:56:28 PM | 972 B | |
| constant-scope.scm | May 2, 2022, 8:56:28 PM | 1.24 KiB | |
| deduct-einstein.scm | May 2, 2022, 8:56:28 PM | 5.37 KiB | |
| deduct-keep.scm | May 2, 2022, 8:56:28 PM | 1.51 KiB | |
| deduct-rules.scm | May 2, 2022, 8:56:28 PM | 12.56 KiB | |
| deduct-trivial.scm | May 2, 2022, 8:56:28 PM | 774 B | |
| deep-types.scm | May 2, 2022, 8:56:28 PM | 4.63 KiB | |
| DeepTypeUTest.cxxtest | May 2, 2022, 8:56:28 PM | 16.06 KiB | |
| define.scm | May 2, 2022, 8:56:28 PM | 2.19 KiB | |
| define-schema.scm | May 2, 2022, 8:56:28 PM | 422 B | |
| DefineUTest.cxxtest | May 2, 2022, 8:56:28 PM | 3.24 KiB | |
| disco-dancers.scm | May 2, 2022, 8:56:28 PM | 689 B | |
| disconnected.scm | May 2, 2022, 8:56:28 PM | 7.67 KiB | |
| DisconnectedUTest.cxxtest | May 2, 2022, 8:56:28 PM | 5.71 KiB | |
| disco-vars.scm | May 2, 2022, 8:56:28 PM | 1017 B | |
| dont-exec.scm | May 2, 2022, 8:56:28 PM | 403 B | |
| dont-exec-simple.scm | May 2, 2022, 8:56:28 PM | 1.14 KiB | |
| DontExecUTest.cxxtest | May 2, 2022, 8:56:28 PM | 3.99 KiB | |
| dot-choice-test.scm | May 2, 2022, 8:56:28 PM | 2.21 KiB | |
| dot-identical-test.scm | May 2, 2022, 8:56:28 PM | 2.21 KiB | |
| dot-lambda-test.scm | May 2, 2022, 8:56:28 PM | 1.95 KiB | |
| dot-mashup-test.scm | May 2, 2022, 8:56:28 PM | 2.41 KiB | |
| dot-product-test.scm | May 2, 2022, 8:56:28 PM | 2.47 KiB | |
| EinsteinUTest.cxxtest | May 2, 2022, 8:56:28 PM | 11.54 KiB | |
| eval-default-tv.scm | May 2, 2022, 8:56:28 PM | 987 B | |
| eval-equal.scm | May 2, 2022, 8:56:28 PM | 3.94 KiB | |
| eval-lambda.scm | May 2, 2022, 8:56:28 PM | 675 B | |
| EvalLinkDefaultTVUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.72 KiB | |
| evaluation.scm | May 2, 2022, 8:56:28 PM | 4.00 KiB | |
| EvaluationUTest.cxxtest | May 2, 2022, 8:56:28 PM | 8.85 KiB | |
| eval-var.scm | May 2, 2022, 8:56:28 PM | 1.60 KiB | |
| exec.scm | May 2, 2022, 8:56:28 PM | 502 B | |
| exec-factorial.scm | May 2, 2022, 8:56:28 PM | 496 B | |
| exec-gsn.scm | May 2, 2022, 8:56:28 PM | 1.05 KiB | |
| exec-implication-scope.scm | May 2, 2022, 8:56:28 PM | 411 B | |
| exec-lambda.scm | May 2, 2022, 8:56:28 PM | 799 B | |
| exec-lambda-get.scm | May 2, 2022, 8:56:28 PM | 2.07 KiB | |
| executable-pattern.scm | May 2, 2022, 8:56:28 PM | 405 B | |
| ExecutionOutputUTest.cxxtest | May 2, 2022, 8:56:28 PM | 15.68 KiB | |
| finite-state-machine.scm | May 2, 2022, 8:56:28 PM | 2.13 KiB | |
| FiniteStateMachineUTest.cxxtest | May 2, 2022, 8:56:28 PM | 4.38 KiB | |
| get-link.scm | May 2, 2022, 8:56:28 PM | 2.29 KiB | |
| get-link-embed.scm | May 2, 2022, 8:56:28 PM | 1.67 KiB | |
| get-link-equal.scm | May 2, 2022, 8:56:28 PM | 1.81 KiB | |
| get-link-eval.scm | May 2, 2022, 8:56:28 PM | 688 B | |
| get-link-glob.scm | May 2, 2022, 8:56:28 PM | 560 B | |
| GetLinkUTest.cxxtest | May 2, 2022, 8:56:28 PM | 15.98 KiB | |
| GetStateUTest.cxxtest | May 2, 2022, 8:56:28 PM | 3.47 KiB | |
| glob-basic.scm | May 2, 2022, 8:56:28 PM | 8.45 KiB | |
| glob-multi-pivot.scm | May 2, 2022, 8:56:28 PM | 2.89 KiB | |
| glob-nest.scm | May 2, 2022, 8:56:28 PM | 2.12 KiB | |
| glob-number.scm | May 2, 2022, 8:56:28 PM | 661 B | |
| glob-partition.scm | May 2, 2022, 8:56:28 PM | 1.21 KiB | |
| glob-pivot.scm | May 2, 2022, 8:56:28 PM | 657 B | |
| GlobUTest.cxxtest | May 2, 2022, 8:56:28 PM | 19.23 KiB | |
| greater_than.scm | May 2, 2022, 8:56:28 PM | 3.59 KiB | |
| greater-compute.scm | May 2, 2022, 8:56:28 PM | 2.07 KiB | |
| GreaterComputeUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.70 KiB | |
| GreaterThanUTest.cxxtest | May 2, 2022, 8:56:28 PM | 5.43 KiB | |
| ill-put.scm | May 2, 2022, 8:56:28 PM | 599 B | |
| IllPutUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.29 KiB | |
| implication-introduction.scm | May 2, 2022, 8:56:28 PM | 1.98 KiB | |
| ImplicationUTest.cxxtest | May 2, 2022, 8:56:28 PM | 10.46 KiB | |
| imply.h | May 2, 2022, 8:56:28 PM | 2.47 KiB | |
| is_closed.scm | May 2, 2022, 8:56:28 PM | 533 B | |
| is_false.scm | May 2, 2022, 8:56:28 PM | 451 B | |
| is_true.scm | May 2, 2022, 8:56:28 PM | 444 B | |
| IsClosedUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.56 KiB | |
| IsFalseUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.50 KiB | |
| IsTrueUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.48 KiB | |
| LocalQuoteUTest.cxxtest | May 2, 2022, 8:56:28 PM | 5.23 KiB | |
| LoopPatternUTest.cxxtest | May 2, 2022, 8:56:28 PM | 4.72 KiB | |
| match-link.scm | May 2, 2022, 8:56:28 PM | 4.28 KiB | |
| MatchLinkUTest.cxxtest | May 2, 2022, 8:56:28 PM | 4.50 KiB | |
| meet-link-value-test.scm | May 2, 2022, 8:56:28 PM | 1.83 KiB | |
| multi-space-test.scm | May 2, 2022, 8:56:28 PM | 1.29 KiB | |
| nested-and.scm | May 2, 2022, 8:56:28 PM | 780 B | |
| NestedClauseUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.41 KiB | |
| no-exception.scm | May 2, 2022, 8:56:28 PM | 2.67 KiB | |
| no-exception-analysis.scm | May 2, 2022, 8:56:28 PM | 1.84 KiB | |
| NoExceptionUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.93 KiB | |
| NotLinkUTest.cxxtest | May 2, 2022, 8:56:28 PM | 6.75 KiB | |
| or-bind-test.scm | May 2, 2022, 8:56:28 PM | 1.29 KiB | |
| or-eval-test.scm | May 2, 2022, 8:56:28 PM | 1.62 KiB | |
| or-link-test.scm | May 2, 2022, 8:56:28 PM | 3.35 KiB | |
| or-more-test.scm | May 2, 2022, 8:56:28 PM | 3.74 KiB | |
| PatternCrashUTest.cxxtest | May 2, 2022, 8:56:28 PM | 8.35 KiB | |
| PatternUTest.cxxtest | May 2, 2022, 8:56:28 PM | 13.48 KiB | |
| PermutationsUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.77 KiB | |
| predicate-formula.scm | May 2, 2022, 8:56:28 PM | 4.84 KiB | |
| PredicateFormulaUTest.cxxtest | May 2, 2022, 8:56:28 PM | 6.43 KiB | |
| present.scm | May 2, 2022, 8:56:28 PM | 660 B | |
| present-monotonicity.scm | May 2, 2022, 8:56:28 PM | 744 B | |
| PresentUTest.cxxtest | May 2, 2022, 8:56:28 PM | 3.76 KiB | |
| present-virtual.scm | May 2, 2022, 8:56:28 PM | 1.12 KiB | |
| query.scm | May 2, 2022, 8:56:28 PM | 807 B | |
| query-exclusive.scm | May 2, 2022, 8:56:28 PM | 637 B | |
| query-meet.scm | May 2, 2022, 8:56:28 PM | 664 B | |
| QueryUTest.cxxtest | May 2, 2022, 8:56:28 PM | 5.41 KiB | |
| quote-crash.scm | May 2, 2022, 8:56:28 PM | 542 B | |
| quote-exec-getlink.scm | May 2, 2022, 8:56:28 PM | 777 B | |
| quote-glob.scm | May 2, 2022, 8:56:28 PM | 419 B | |
| quote-gpn.scm | May 2, 2022, 8:56:28 PM | 949 B | |
| quote-greater.scm | May 2, 2022, 8:56:28 PM | 2.22 KiB | |
| quote-impossible.scm | May 2, 2022, 8:56:28 PM | 558 B | |
| quote-nest.scm | May 2, 2022, 8:56:28 PM | 998 B | |
| quote-quote.scm | May 2, 2022, 8:56:28 PM | 1.11 KiB | |
| quote-scope.scm | May 2, 2022, 8:56:28 PM | 802 B | |
| quote-self.scm | May 2, 2022, 8:56:28 PM | 659 B | |
| quote-start-test.scm | May 2, 2022, 8:56:28 PM | 546 B | |
| quote-throw.scm | May 2, 2022, 8:56:28 PM | 491 B | |
| QuoteUTest.cxxtest | May 2, 2022, 8:56:28 PM | 11.33 KiB | |
| quote-var.scm | May 2, 2022, 8:56:28 PM | 1.85 KiB | |
| recognizer.scm | May 2, 2022, 8:56:28 PM | 2.71 KiB | |
| RecognizerUTest.cxxtest | May 2, 2022, 8:56:28 PM | 5.00 KiB | |
| recursive-test.scm | May 2, 2022, 8:56:28 PM | 6.10 KiB | |
| sat-anonymous.scm | May 2, 2022, 8:56:28 PM | 1.13 KiB | |
| sat-named.scm | May 2, 2022, 8:56:28 PM | 1.80 KiB | |
| scope-confound.scm | May 2, 2022, 8:56:28 PM | 3.69 KiB | |
| scope-hide.scm | May 2, 2022, 8:56:28 PM | 2.38 KiB | |
| scope-quote.scm | May 2, 2022, 8:56:28 PM | 3.21 KiB | |
| scope-search.scm | May 2, 2022, 8:56:28 PM | 3.91 KiB | |
| ScopeUTest.cxxtest | May 2, 2022, 8:56:28 PM | 8.90 KiB | |
| seq-absence.scm | May 2, 2022, 8:56:28 PM | 3.12 KiB | |
| seq-presence.scm | May 2, 2022, 8:56:28 PM | 1.79 KiB | |
| seq-trivial.scm | May 2, 2022, 8:56:28 PM | 329 B | |
| sequence.scm | May 2, 2022, 8:56:28 PM | 3.13 KiB | |
| SequenceUTest.cxxtest | May 2, 2022, 8:56:28 PM | 9.48 KiB | |
| stackmany-o-u.scm | May 2, 2022, 8:56:28 PM | 4.85 KiB | |
| stackmore-o-o.scm | May 2, 2022, 8:56:28 PM | 5.95 KiB | |
| stackmore-o-u.scm | May 2, 2022, 8:56:28 PM | 5.87 KiB | |
| stackmore-o-uu.scm | May 2, 2022, 8:56:28 PM | 6.62 KiB | |
| stackmore-u-o.scm | May 2, 2022, 8:56:28 PM | 6.01 KiB | |
| StackMoreUTest.cxxtest | May 2, 2022, 8:56:28 PM | 6.53 KiB | |
| stackmore-u-u.scm | May 2, 2022, 8:56:28 PM | 5.92 KiB | |
| stackmore-u-uu.scm | May 2, 2022, 8:56:28 PM | 6.66 KiB | |
| StackUTest.cxxtest | May 2, 2022, 8:56:28 PM | 4.76 KiB | |
| substitution.scm | May 2, 2022, 8:56:28 PM | 1.73 KiB | |
| SubstitutionUTest.cxxtest | May 2, 2022, 8:56:28 PM | 6.12 KiB | |
| sudoku-puzzle.scm | May 2, 2022, 8:56:28 PM | 4.11 KiB | |
| sudoku-rules.scm | May 2, 2022, 8:56:28 PM | 17.74 KiB | |
| sudoku-simple.scm | May 2, 2022, 8:56:28 PM | 6.54 KiB | |
| SudokuUTest.cxxtest | May 2, 2022, 8:56:28 PM | 6.03 KiB | |
| test_types.scm | May 2, 2022, 8:56:28 PM | 2.34 KiB | |
| test-types.cc | May 2, 2022, 8:56:28 PM | 1.61 KiB | |
| test-types.h | May 2, 2022, 8:56:28 PM | 613 B | |
| TypeChoiceUTest.cxxtest | May 2, 2022, 8:56:28 PM | 6.92 KiB | |
| unordered.scm | May 2, 2022, 8:56:28 PM | 2.32 KiB | |
| unordered-embed.scm | May 2, 2022, 8:56:28 PM | 4.61 KiB | |
| unordered-exhaust.scm | May 2, 2022, 8:56:28 PM | 8.29 KiB | |
| unordered-jswiergo.scm | May 2, 2022, 8:56:28 PM | 2.57 KiB | |
| unordered-more.scm | May 2, 2022, 8:56:28 PM | 1.72 KiB | |
| unordered-odo-below.scm | May 2, 2022, 8:56:28 PM | 3.17 KiB | |
| unordered-odo-couplayer.scm | May 2, 2022, 8:56:28 PM | 2.85 KiB | |
| unordered-odo-couple.scm | May 2, 2022, 8:56:28 PM | 2.45 KiB | |
| unordered-odo-distinct.scm | May 2, 2022, 8:56:28 PM | 3.12 KiB | |
| unordered-odo-equal.scm | May 2, 2022, 8:56:28 PM | 2.88 KiB | |
| unordered-odo-equpr.scm | May 2, 2022, 8:56:28 PM | 4.05 KiB | |
| unordered-odo-indistinct.scm | May 2, 2022, 8:56:28 PM | 3.14 KiB | |
| unordered-odo-layer.scm | May 2, 2022, 8:56:28 PM | 2.75 KiB | |
| unordered-odometer.scm | May 2, 2022, 8:56:28 PM | 2.70 KiB | |
| unordered-quote.scm | May 2, 2022, 8:56:28 PM | 1.99 KiB | |
| UnorderedUTest.cxxtest | May 2, 2022, 8:56:28 PM | 25.52 KiB | |
| UnquoteUTest.cxxtest | May 2, 2022, 8:56:28 PM | 5.25 KiB | |
| var-type-not.scm | May 2, 2022, 8:56:28 PM | 3.01 KiB | |
| VarTypeNotUTest.cxxtest | May 2, 2022, 8:56:28 PM | 3.95 KiB | |
| virtual.scm | May 2, 2022, 8:56:28 PM | 2.17 KiB | |
| VirtualUTest.cxxtest | May 2, 2022, 8:56:28 PM | 2.97 KiB | |
|