summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Test/absterm.art13
-rw-r--r--Test/absthm.art14
-rw-r--r--Test/appterm.art25
-rw-r--r--Test/assume.art8
-rw-r--r--Test/axiom.art9
-rw-r--r--Test/cons.art4
-rw-r--r--Test/const.art2
-rw-r--r--Test/constterm.art7
-rw-r--r--Test/def.art6
-rw-r--r--Test/name.art1
-rw-r--r--Test/name2.art1
-rw-r--r--Test/nil.art1
-rw-r--r--Test/number.art1
-rw-r--r--Test/opType.art4
-rw-r--r--Test/pop.art2
-rw-r--r--Test/ref.art8
-rw-r--r--Test/refl.art6
-rw-r--r--Test/remove.art8
-rw-r--r--Test/timer.sh6
-rw-r--r--Test/typeop.art2
-rw-r--r--Test/var.art4
-rw-r--r--Test/varterm.art5
-rw-r--r--Test/vartype.art2
23 files changed, 139 insertions, 0 deletions
diff --git a/Test/absterm.art b/Test/absterm.art
new file mode 100644
index 0000000..d68ddc6
--- /dev/null
+++ b/Test/absterm.art
@@ -0,0 +1,13 @@
+"bool"
+"bool"
+varType
+var
+varTerm
+"bool"
+const
+"bool"
+typeOp
+nil
+opType
+constTerm
+absTerm
diff --git a/Test/absthm.art b/Test/absthm.art
new file mode 100644
index 0000000..6fd12ba
--- /dev/null
+++ b/Test/absthm.art
@@ -0,0 +1,14 @@
+"bool"
+"bool"
+var
+varType
+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..42f0da9
--- /dev/null
+++ b/Test/appterm.art
@@ -0,0 +1,25 @@
+"name"
+const
+"->"
+typeOp
+"bool"
+typeOp
+nil
+opType
+1
+def
+1
+remove
+nil
+cons
+cons
+opType
+constTerm
+"name"
+const
+"bool"
+typeOp
+nil
+opType
+constTerm
+appTerm
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/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/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/name.art b/Test/name.art
new file mode 100644
index 0000000..7cc35dd
--- /dev/null
+++ b/Test/name.art
@@ -0,0 +1 @@
+"name"
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/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/timer.sh b/Test/timer.sh
new file mode 100644
index 0000000..637b80a
--- /dev/null
+++ b/Test/timer.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+
+for i in (1..1000)
+do
+ $1 $2
+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