From c2412dac63c97bb024afe4517f7ed5bc14b9cc28 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sun, 13 Apr 2014 18:59:56 +1000 Subject: Fixed casing --- Test/absterm.art | 12 ------------ Test/absthm.art | 14 -------------- Test/appterm.art | 25 ------------------------- Test/appthm.art | 27 --------------------------- Test/assume.art | 8 -------- Test/axiom.art | 9 --------- Test/betaconv.art | 21 --------------------- Test/cons.art | 4 ---- Test/const.art | 2 -- Test/constterm.art | 7 ------- Test/deductantisym.art | 13 ------------- Test/def.art | 6 ------ Test/defineconst.art | 9 --------- Test/definetypeop.art | 28 ---------------------------- Test/eqmp.art | 37 ------------------------------------- Test/name.art | 1 - Test/name2.art | 1 - Test/nil.art | 1 - Test/null.art | 0 Test/number.art | 1 - Test/opType.art | 4 ---- Test/pop.art | 2 -- Test/ref.art | 8 -------- Test/refl.art | 6 ------ Test/remove.art | 8 -------- Test/subst.art | 47 ----------------------------------------------- Test/thm.art | 23 ----------------------- Test/timer.sh | 6 ------ Test/typeop.art | 2 -- Test/var.art | 4 ---- Test/varterm.art | 5 ----- Test/vartype.art | 2 -- test/absterm.art | 12 ++++++++++++ test/absthm.art | 14 ++++++++++++++ test/appterm.art | 25 +++++++++++++++++++++++++ test/appthm.art | 27 +++++++++++++++++++++++++++ test/assume.art | 8 ++++++++ test/axiom.art | 9 +++++++++ test/betaconv.art | 21 +++++++++++++++++++++ test/cons.art | 4 ++++ test/const.art | 2 ++ test/constterm.art | 7 +++++++ test/deductantisym.art | 13 +++++++++++++ test/def.art | 6 ++++++ test/defineconst.art | 9 +++++++++ test/definetypeop.art | 28 ++++++++++++++++++++++++++++ test/eqmp.art | 37 +++++++++++++++++++++++++++++++++++++ test/name.art | 1 + test/name2.art | 1 + test/nil.art | 1 + test/null.art | 0 test/number.art | 1 + test/opType.art | 4 ++++ test/pop.art | 2 ++ test/ref.art | 8 ++++++++ test/refl.art | 6 ++++++ test/remove.art | 8 ++++++++ test/subst.art | 47 +++++++++++++++++++++++++++++++++++++++++++++++ test/thm.art | 23 +++++++++++++++++++++++ test/timer.sh | 6 ++++++ test/typeop.art | 2 ++ test/var.art | 4 ++++ test/varterm.art | 5 +++++ test/vartype.art | 2 ++ 64 files changed, 343 insertions(+), 343 deletions(-) delete mode 100644 Test/absterm.art delete mode 100644 Test/absthm.art delete mode 100644 Test/appterm.art delete mode 100644 Test/appthm.art delete mode 100644 Test/assume.art delete mode 100644 Test/axiom.art delete mode 100644 Test/betaconv.art delete mode 100644 Test/cons.art delete mode 100644 Test/const.art delete mode 100644 Test/constterm.art delete mode 100644 Test/deductantisym.art delete mode 100644 Test/def.art delete mode 100644 Test/defineconst.art delete mode 100644 Test/definetypeop.art delete mode 100644 Test/eqmp.art delete mode 100644 Test/name.art delete mode 100644 Test/name2.art delete mode 100644 Test/nil.art delete mode 100644 Test/null.art delete mode 100644 Test/number.art delete mode 100644 Test/opType.art delete mode 100644 Test/pop.art delete mode 100644 Test/ref.art delete mode 100644 Test/refl.art delete mode 100644 Test/remove.art delete mode 100644 Test/subst.art delete mode 100644 Test/thm.art delete mode 100644 Test/timer.sh delete mode 100644 Test/typeop.art delete mode 100644 Test/var.art delete mode 100644 Test/varterm.art delete mode 100644 Test/vartype.art create mode 100644 test/absterm.art create mode 100644 test/absthm.art create mode 100644 test/appterm.art create mode 100644 test/appthm.art create mode 100644 test/assume.art create mode 100644 test/axiom.art create mode 100644 test/betaconv.art create mode 100644 test/cons.art create mode 100644 test/const.art create mode 100644 test/constterm.art create mode 100644 test/deductantisym.art create mode 100644 test/def.art create mode 100644 test/defineconst.art create mode 100644 test/definetypeop.art create mode 100644 test/eqmp.art create mode 100644 test/name.art create mode 100644 test/name2.art create mode 100644 test/nil.art create mode 100644 test/null.art create mode 100644 test/number.art create mode 100644 test/opType.art create mode 100644 test/pop.art create mode 100644 test/ref.art create mode 100644 test/refl.art create mode 100644 test/remove.art create mode 100644 test/subst.art create mode 100644 test/thm.art create mode 100644 test/timer.sh create mode 100644 test/typeop.art create mode 100644 test/var.art create mode 100644 test/varterm.art create mode 100644 test/vartype.art diff --git a/Test/absterm.art b/Test/absterm.art deleted file mode 100644 index 94446fc..0000000 --- a/Test/absterm.art +++ /dev/null @@ -1,12 +0,0 @@ -"variablename" -"variabletype" -varType -var -"constname" -const -"consttype" -typeOp -nil -opType -constTerm -absTerm diff --git a/Test/absthm.art b/Test/absthm.art deleted file mode 100644 index 359a4cd..0000000 --- a/Test/absthm.art +++ /dev/null @@ -1,14 +0,0 @@ -"bool" -"bool" -varType -var -#varTerm -"bool" -const -"bool" -typeOp -nil -opType -constTerm -refl -absThm diff --git a/Test/appterm.art b/Test/appterm.art deleted file mode 100644 index 3d566c0..0000000 --- a/Test/appterm.art +++ /dev/null @@ -1,25 +0,0 @@ -"f" -const -"->" -typeOp -"bool" -typeOp -nil -opType -1 -def -1 -remove -nil -cons -cons -opType -constTerm -"x" -const -"bool" -typeOp -nil -opType -constTerm -appTerm diff --git a/Test/appthm.art b/Test/appthm.art deleted file mode 100644 index 7e54c8c..0000000 --- a/Test/appthm.art +++ /dev/null @@ -1,27 +0,0 @@ -"f" -const -"->" -typeOp -"bool" -typeOp -nil -opType -1 -def -1 -remove -nil -cons -cons -opType -constTerm -refl -"x" -const -"bool" -typeOp -nil -opType -constTerm -refl -appThm diff --git a/Test/assume.art b/Test/assume.art deleted file mode 100644 index ef47474..0000000 --- a/Test/assume.art +++ /dev/null @@ -1,8 +0,0 @@ -"bool" -const -"bool" -typeOp -nil -opType -constTerm -assume diff --git a/Test/axiom.art b/Test/axiom.art deleted file mode 100644 index bcf79bf..0000000 --- a/Test/axiom.art +++ /dev/null @@ -1,9 +0,0 @@ -nil -"name" -const -"bool" -typeOp -nil -opType -constTerm -axiom diff --git a/Test/betaconv.art b/Test/betaconv.art deleted file mode 100644 index f0d051c..0000000 --- a/Test/betaconv.art +++ /dev/null @@ -1,21 +0,0 @@ -"x" -"bool" -typeOp -nil -opType -1 -def -var -"c" -const -1 -ref -constTerm -absTerm -"a" -const -1 -remove -constTerm -appTerm -betaConv diff --git a/Test/cons.art b/Test/cons.art deleted file mode 100644 index b2c48b9..0000000 --- a/Test/cons.art +++ /dev/null @@ -1,4 +0,0 @@ -"bool" -typeOp -nil -cons diff --git a/Test/const.art b/Test/const.art deleted file mode 100644 index 8a94755..0000000 --- a/Test/const.art +++ /dev/null @@ -1,2 +0,0 @@ -"name" -const diff --git a/Test/constterm.art b/Test/constterm.art deleted file mode 100644 index ac94e2b..0000000 --- a/Test/constterm.art +++ /dev/null @@ -1,7 +0,0 @@ -"bool" -const -"bool" -typeOp -nil -opType -constTerm diff --git a/Test/deductantisym.art b/Test/deductantisym.art deleted file mode 100644 index 80a6eea..0000000 --- a/Test/deductantisym.art +++ /dev/null @@ -1,13 +0,0 @@ -"x" -const -"bool" -typeOp -nil -opType -constTerm -assume -1 -def -1 -remove -deductAntisym diff --git a/Test/def.art b/Test/def.art deleted file mode 100644 index 18cad67..0000000 --- a/Test/def.art +++ /dev/null @@ -1,6 +0,0 @@ -"bool" -typeOp -nil -opType -1 -def diff --git a/Test/defineconst.art b/Test/defineconst.art deleted file mode 100644 index 739f9c9..0000000 --- a/Test/defineconst.art +++ /dev/null @@ -1,9 +0,0 @@ -"y" -"x" -const -"bool" -typeOp -nil -opType -constTerm -defineConst diff --git a/Test/definetypeop.art b/Test/definetypeop.art deleted file mode 100644 index 706bd3e..0000000 --- a/Test/definetypeop.art +++ /dev/null @@ -1,28 +0,0 @@ -"n" -"abs" -"rep" -"xtype" -nil -cons -"x" -"xtype" -varType -var -"c" -const -"bool" -typeOp -nil -opType -1 -def -constTerm -absTerm -"a" -const -1 -remove -constTerm -appTerm -assume -defineTypeOp diff --git a/Test/eqmp.art b/Test/eqmp.art deleted file mode 100644 index b7c63c6..0000000 --- a/Test/eqmp.art +++ /dev/null @@ -1,37 +0,0 @@ -"x" -"bool" -typeOp -nil -opType -1 -def -var -"c" -const -1 -ref -constTerm -2 -def -absTerm -"a" -const -1 -ref -constTerm -3 -def -appTerm -refl -"y" -1 -remove -var -2 -remove -absTerm -3 -remove -appTerm -assume -eqMp diff --git a/Test/name.art b/Test/name.art deleted file mode 100644 index bb89c74..0000000 --- a/Test/name.art +++ /dev/null @@ -1 +0,0 @@ -"bool" diff --git a/Test/name2.art b/Test/name2.art deleted file mode 100644 index a439e52..0000000 --- a/Test/name2.art +++ /dev/null @@ -1 +0,0 @@ -"->" diff --git a/Test/nil.art b/Test/nil.art deleted file mode 100644 index 607602c..0000000 --- a/Test/nil.art +++ /dev/null @@ -1 +0,0 @@ -nil diff --git a/Test/null.art b/Test/null.art deleted file mode 100644 index e69de29..0000000 diff --git a/Test/number.art b/Test/number.art deleted file mode 100644 index f599e28..0000000 --- a/Test/number.art +++ /dev/null @@ -1 +0,0 @@ -10 diff --git a/Test/opType.art b/Test/opType.art deleted file mode 100644 index 237dbd6..0000000 --- a/Test/opType.art +++ /dev/null @@ -1,4 +0,0 @@ -"name" -typeOp -nil -opType diff --git a/Test/pop.art b/Test/pop.art deleted file mode 100644 index e111fc2..0000000 --- a/Test/pop.art +++ /dev/null @@ -1,2 +0,0 @@ -nil -pop diff --git a/Test/ref.art b/Test/ref.art deleted file mode 100644 index acd59ea..0000000 --- a/Test/ref.art +++ /dev/null @@ -1,8 +0,0 @@ -"bool" -typeOp -nil -opType -1 -def -1 -ref diff --git a/Test/refl.art b/Test/refl.art deleted file mode 100644 index 418ac89..0000000 --- a/Test/refl.art +++ /dev/null @@ -1,6 +0,0 @@ -"bool" -"bool" -varType -var -varTerm -refl diff --git a/Test/remove.art b/Test/remove.art deleted file mode 100644 index 88cadad..0000000 --- a/Test/remove.art +++ /dev/null @@ -1,8 +0,0 @@ -"bool" -typeOp -nil -opType -1 -def -1 -remove diff --git a/Test/subst.art b/Test/subst.art deleted file mode 100644 index 8fdc934..0000000 --- a/Test/subst.art +++ /dev/null @@ -1,47 +0,0 @@ -"ytype" -"xtype" -varType -nil -cons -cons -nil -cons -"y" -"xtype" -varType -var -"z" -"xtype" -varType -var -varTerm -nil -cons -cons -nil -cons -nil -cons -cons -"y" -"ytype" -varType -var -"c" -const -"bool" -typeOp -nil -opType -1 -def -constTerm -absTerm -"a" -const -1 -remove -constTerm -appTerm -assume -subst diff --git a/Test/thm.art b/Test/thm.art deleted file mode 100644 index 4fee8b2..0000000 --- a/Test/thm.art +++ /dev/null @@ -1,23 +0,0 @@ -"x" -"bool" -typeOp -nil -opType -1 -def -var -varTerm -assume -"y" -1 -ref -var -varTerm -nil -cons -"z" -1 -remove -var -varTerm -thm diff --git a/Test/timer.sh b/Test/timer.sh deleted file mode 100644 index 2a1e7c3..0000000 --- a/Test/timer.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash - -for i in {1..1} -do - $1 $2 > /dev/null -done diff --git a/Test/typeop.art b/Test/typeop.art deleted file mode 100644 index 6b85dd7..0000000 --- a/Test/typeop.art +++ /dev/null @@ -1,2 +0,0 @@ -"bool" -typeOp diff --git a/Test/var.art b/Test/var.art deleted file mode 100644 index 4c915e7..0000000 --- a/Test/var.art +++ /dev/null @@ -1,4 +0,0 @@ -"bool" -"bool" -varType -var diff --git a/Test/varterm.art b/Test/varterm.art deleted file mode 100644 index 5bbc768..0000000 --- a/Test/varterm.art +++ /dev/null @@ -1,5 +0,0 @@ -"bool" -"bool" -varType -var -varTerm diff --git a/Test/vartype.art b/Test/vartype.art deleted file mode 100644 index 72e6b3c..0000000 --- a/Test/vartype.art +++ /dev/null @@ -1,2 +0,0 @@ -"bool" -varType diff --git a/test/absterm.art b/test/absterm.art new file mode 100644 index 0000000..94446fc --- /dev/null +++ b/test/absterm.art @@ -0,0 +1,12 @@ +"variablename" +"variabletype" +varType +var +"constname" +const +"consttype" +typeOp +nil +opType +constTerm +absTerm diff --git a/test/absthm.art b/test/absthm.art new file mode 100644 index 0000000..359a4cd --- /dev/null +++ b/test/absthm.art @@ -0,0 +1,14 @@ +"bool" +"bool" +varType +var +#varTerm +"bool" +const +"bool" +typeOp +nil +opType +constTerm +refl +absThm diff --git a/test/appterm.art b/test/appterm.art new file mode 100644 index 0000000..3d566c0 --- /dev/null +++ b/test/appterm.art @@ -0,0 +1,25 @@ +"f" +const +"->" +typeOp +"bool" +typeOp +nil +opType +1 +def +1 +remove +nil +cons +cons +opType +constTerm +"x" +const +"bool" +typeOp +nil +opType +constTerm +appTerm diff --git a/test/appthm.art b/test/appthm.art new file mode 100644 index 0000000..7e54c8c --- /dev/null +++ b/test/appthm.art @@ -0,0 +1,27 @@ +"f" +const +"->" +typeOp +"bool" +typeOp +nil +opType +1 +def +1 +remove +nil +cons +cons +opType +constTerm +refl +"x" +const +"bool" +typeOp +nil +opType +constTerm +refl +appThm diff --git a/test/assume.art b/test/assume.art new file mode 100644 index 0000000..ef47474 --- /dev/null +++ b/test/assume.art @@ -0,0 +1,8 @@ +"bool" +const +"bool" +typeOp +nil +opType +constTerm +assume diff --git a/test/axiom.art b/test/axiom.art new file mode 100644 index 0000000..bcf79bf --- /dev/null +++ b/test/axiom.art @@ -0,0 +1,9 @@ +nil +"name" +const +"bool" +typeOp +nil +opType +constTerm +axiom diff --git a/test/betaconv.art b/test/betaconv.art new file mode 100644 index 0000000..f0d051c --- /dev/null +++ b/test/betaconv.art @@ -0,0 +1,21 @@ +"x" +"bool" +typeOp +nil +opType +1 +def +var +"c" +const +1 +ref +constTerm +absTerm +"a" +const +1 +remove +constTerm +appTerm +betaConv diff --git a/test/cons.art b/test/cons.art new file mode 100644 index 0000000..b2c48b9 --- /dev/null +++ b/test/cons.art @@ -0,0 +1,4 @@ +"bool" +typeOp +nil +cons diff --git a/test/const.art b/test/const.art new file mode 100644 index 0000000..8a94755 --- /dev/null +++ b/test/const.art @@ -0,0 +1,2 @@ +"name" +const diff --git a/test/constterm.art b/test/constterm.art new file mode 100644 index 0000000..ac94e2b --- /dev/null +++ b/test/constterm.art @@ -0,0 +1,7 @@ +"bool" +const +"bool" +typeOp +nil +opType +constTerm diff --git a/test/deductantisym.art b/test/deductantisym.art new file mode 100644 index 0000000..80a6eea --- /dev/null +++ b/test/deductantisym.art @@ -0,0 +1,13 @@ +"x" +const +"bool" +typeOp +nil +opType +constTerm +assume +1 +def +1 +remove +deductAntisym diff --git a/test/def.art b/test/def.art new file mode 100644 index 0000000..18cad67 --- /dev/null +++ b/test/def.art @@ -0,0 +1,6 @@ +"bool" +typeOp +nil +opType +1 +def diff --git a/test/defineconst.art b/test/defineconst.art new file mode 100644 index 0000000..739f9c9 --- /dev/null +++ b/test/defineconst.art @@ -0,0 +1,9 @@ +"y" +"x" +const +"bool" +typeOp +nil +opType +constTerm +defineConst diff --git a/test/definetypeop.art b/test/definetypeop.art new file mode 100644 index 0000000..706bd3e --- /dev/null +++ b/test/definetypeop.art @@ -0,0 +1,28 @@ +"n" +"abs" +"rep" +"xtype" +nil +cons +"x" +"xtype" +varType +var +"c" +const +"bool" +typeOp +nil +opType +1 +def +constTerm +absTerm +"a" +const +1 +remove +constTerm +appTerm +assume +defineTypeOp diff --git a/test/eqmp.art b/test/eqmp.art new file mode 100644 index 0000000..b7c63c6 --- /dev/null +++ b/test/eqmp.art @@ -0,0 +1,37 @@ +"x" +"bool" +typeOp +nil +opType +1 +def +var +"c" +const +1 +ref +constTerm +2 +def +absTerm +"a" +const +1 +ref +constTerm +3 +def +appTerm +refl +"y" +1 +remove +var +2 +remove +absTerm +3 +remove +appTerm +assume +eqMp diff --git a/test/name.art b/test/name.art new file mode 100644 index 0000000..bb89c74 --- /dev/null +++ b/test/name.art @@ -0,0 +1 @@ +"bool" diff --git a/test/name2.art b/test/name2.art new file mode 100644 index 0000000..a439e52 --- /dev/null +++ b/test/name2.art @@ -0,0 +1 @@ +"->" diff --git a/test/nil.art b/test/nil.art new file mode 100644 index 0000000..607602c --- /dev/null +++ b/test/nil.art @@ -0,0 +1 @@ +nil diff --git a/test/null.art b/test/null.art new file mode 100644 index 0000000..e69de29 diff --git a/test/number.art b/test/number.art new file mode 100644 index 0000000..f599e28 --- /dev/null +++ b/test/number.art @@ -0,0 +1 @@ +10 diff --git a/test/opType.art b/test/opType.art new file mode 100644 index 0000000..237dbd6 --- /dev/null +++ b/test/opType.art @@ -0,0 +1,4 @@ +"name" +typeOp +nil +opType diff --git a/test/pop.art b/test/pop.art new file mode 100644 index 0000000..e111fc2 --- /dev/null +++ b/test/pop.art @@ -0,0 +1,2 @@ +nil +pop diff --git a/test/ref.art b/test/ref.art new file mode 100644 index 0000000..acd59ea --- /dev/null +++ b/test/ref.art @@ -0,0 +1,8 @@ +"bool" +typeOp +nil +opType +1 +def +1 +ref diff --git a/test/refl.art b/test/refl.art new file mode 100644 index 0000000..418ac89 --- /dev/null +++ b/test/refl.art @@ -0,0 +1,6 @@ +"bool" +"bool" +varType +var +varTerm +refl diff --git a/test/remove.art b/test/remove.art new file mode 100644 index 0000000..88cadad --- /dev/null +++ b/test/remove.art @@ -0,0 +1,8 @@ +"bool" +typeOp +nil +opType +1 +def +1 +remove diff --git a/test/subst.art b/test/subst.art new file mode 100644 index 0000000..8fdc934 --- /dev/null +++ b/test/subst.art @@ -0,0 +1,47 @@ +"ytype" +"xtype" +varType +nil +cons +cons +nil +cons +"y" +"xtype" +varType +var +"z" +"xtype" +varType +var +varTerm +nil +cons +cons +nil +cons +nil +cons +cons +"y" +"ytype" +varType +var +"c" +const +"bool" +typeOp +nil +opType +1 +def +constTerm +absTerm +"a" +const +1 +remove +constTerm +appTerm +assume +subst diff --git a/test/thm.art b/test/thm.art new file mode 100644 index 0000000..4fee8b2 --- /dev/null +++ b/test/thm.art @@ -0,0 +1,23 @@ +"x" +"bool" +typeOp +nil +opType +1 +def +var +varTerm +assume +"y" +1 +ref +var +varTerm +nil +cons +"z" +1 +remove +var +varTerm +thm diff --git a/test/timer.sh b/test/timer.sh new file mode 100644 index 0000000..2a1e7c3 --- /dev/null +++ b/test/timer.sh @@ -0,0 +1,6 @@ +#!/bin/bash + +for i in {1..1} +do + $1 $2 > /dev/null +done diff --git a/test/typeop.art b/test/typeop.art new file mode 100644 index 0000000..6b85dd7 --- /dev/null +++ b/test/typeop.art @@ -0,0 +1,2 @@ +"bool" +typeOp diff --git a/test/var.art b/test/var.art new file mode 100644 index 0000000..4c915e7 --- /dev/null +++ b/test/var.art @@ -0,0 +1,4 @@ +"bool" +"bool" +varType +var diff --git a/test/varterm.art b/test/varterm.art new file mode 100644 index 0000000..5bbc768 --- /dev/null +++ b/test/varterm.art @@ -0,0 +1,5 @@ +"bool" +"bool" +varType +var +varTerm diff --git a/test/vartype.art b/test/vartype.art new file mode 100644 index 0000000..72e6b3c --- /dev/null +++ b/test/vartype.art @@ -0,0 +1,2 @@ +"bool" +varType -- cgit