Skip to content
Success

Changes

Summary

  1. README of dir contents (details)
  2. removed minimal-metta updated metta-motto (details)
The file was addedtests/extended_compat/hyperon-pln/metta/program-verification/NatDTLTest.metta
The file was addedtests/extended_compat/hyperon-pln/metta/converters/calculi-converter.metta
The file was addedtests/extended_compat/hyperon-pln/metta/program-verification/NatTest.metta
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/entail/ImplicationDirectIntroductionEntail.metta (diff)
The file was addedtests/extended_compat/hyperon-pln/metta/proof-tree/bug.metta
The file was modifiedtests/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-unify.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/common/truthvalue/TemporalTruthValue.metta (diff)
The file was addedtests/extended_compat/hyperon-pln/metta/program-verification/NatStandaloneTest.metta
The file was modifiedtests/extended_compat/hyperon-pln/metta/subtyping/subtyping-test.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/dependent-types/ModusPonensDTLTest.metta (diff)
The file was addedtests/extended_compat/hyperon-pln/metta/converters/README.md
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/entail/DeductionEntailTest.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/inference-control/inf-ctl-month-bc-xp.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/match/DeductionMatchTest.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/common/formula/DeductionFormulaTest.metta (diff)
The file was addedtests/extended_compat/hyperon-pln/idris/StrictlySorted.idr
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/dependent-types/ImplicationDirectIntroductionDTL.metta (diff)
The file was addedtests/extended_compat/hyperon-pln/metta/proof-tree/prg-assistant-example.metta
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/entail/ImplicationDirectIntroductionEntailTest.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/equal/DeductionEqualTest.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/README.md (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/dependent-types/ModusPonensDTL.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/curried-chaining/curried-chainer.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/dependent-types/DeductionImplicationDirectIntroductionDTLTest.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-let-test.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/equal/ImplicationDirectIntroductionEqualTest.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/common/formula/DeductionFormula.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/common/truthvalue/TruthValue.metta (diff)
The file was addedtests/extended_compat/hyperon-pln/metta/program-verification/README.md
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/match/DeductionMatch.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-type-checking.metta (diff)
The file was modifiedtests/README.md (diff)
The file was addedtests/extended_compat/hyperon-pln/metta/program-verification/NatParityTest.metta
The file was addedtests/extended_compat/hyperon-pln/metta/lambda-abstraction/README.md
The file was addedtests/extended_compat/hyperon-pln/metta/program-verification/NatSimpleTest.metta
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/match/DeductionImplicationDirectIntroductionMatchTest.metta (diff)
The file was addedtests/extended_compat/hyperon-pln/metta/hol/calculi-converter.metta
The file was modifiedtests/extended_compat/hyperon-pln/metta/hol/NatTest.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/dependent-types/DeductionDTL.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/equal/ImplicationDirectIntroductionEqual.metta (diff)
The file was addedtests/extended_compat/hyperon-pln/metta/hol/lambda-flatten.metta
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/entail/DeductionEntail.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/inference-control/inf-ctl-month-bc-cont-xp.metta (diff)
The file was addedtests/extended_compat/hyperon-pln/README.md
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/equal/DeductionEqual.metta (diff)
The file was addedtests/extended_compat/hyperon-pln/metta/lambda-abstraction/lambda-abstraction.metta
The file was modifiedtests/extended_compat/hyperon-pln/metta/synthesis/UnifyTest.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/inference-control/README.md (diff)
The file was addedtests/extended_compat/hyperon-pln/metta/proof-tree/README.md
The file was modifiedtests/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-unify-test.metta (diff)
The file was addedtests/extended_compat/hyperon-pln/metta/converters/curry.metta
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/dependent-types/DeductionDTLTest.metta (diff)
The file was addedtests/extended_compat/hyperon-pln/metta/proof-tree/proof-tree.metta
The file was modifiedtests/extended_compat/hyperon-pln/metta/common/truthvalue/TruthValueTest.metta (diff)
The file was modifiedtests/extended_compat/hyperon-pln/metta/pln/dependent-types/ImplicationDirectIntroductionDTLTest.metta (diff)
The file was addedtests/extended_compat/hyperon-pln/metta/program-verification/ListTest.metta
Commit 2959e335456e04b5fcf2c3d5e4a8276e8c42c450 by Douglas R Miles
removed minimal-metta updated metta-motto
The file was modifiedtests/python_compat/metta-motto/README.md (diff)
The file was modifiedtests/extended_compat/metta-examples/combinator-calculi/tree.metta (diff)
The file was removedtests/more-anti-regression/minimal-metta/stdlib_minimal.metta
The file was modifiedtests/more-anti-regression/stdlib-mettalog/stdlib_mettalog_test.metta (diff)
The file was modifiedtests/python_compat/metta-motto/setup.py (diff)
The file was removedtests/more-anti-regression/minimal-metta/stdlib_minimal_test.metta