newstyle runtimes (zero)

rudymatela · Feb 7, 2024 · f9f551d · f9f551d
1 parent 1b00b0f
commit f9f551d
Show file tree

Hide file tree

Showing 33 changed files with 37 additions and 58 deletions.
diff --git a/bench/runtime-zero b/bench/runtime-zero
diff --git a/bench/runtime/zero/bench/arithficial.runtime b/bench/runtime/zero/bench/arithficial.runtime
@@ -0,0 +1 @@
+0.64
diff --git a/bench/runtime/zero/bench/lowtests.runtime b/bench/runtime/zero/bench/lowtests.runtime
@@ -0,0 +1 @@
+0.47
diff --git a/bench/runtime/zero/bench/nord.runtime b/bench/runtime/zero/bench/nord.runtime
@@ -0,0 +1 @@
+0.04
diff --git a/bench/runtime/zero/bench/stats.runtime b/bench/runtime/zero/bench/stats.runtime
@@ -0,0 +1 @@
+0.28
diff --git a/bench/runtime/zero/bench/trilean.runtime b/bench/runtime/zero/bench/trilean.runtime
@@ -0,0 +1 @@
+0.04
diff --git a/bench/runtime/zero/bench/unit.runtime b/bench/runtime/zero/bench/unit.runtime
@@ -0,0 +1 @@
+0.04
diff --git a/bench/runtime/zero/eg/arith-negate-abs.runtime b/bench/runtime/zero/eg/arith-negate-abs.runtime
@@ -0,0 +1 @@
+1.72
diff --git a/bench/runtime/zero/eg/arith.runtime b/bench/runtime/zero/eg/arith.runtime
@@ -0,0 +1 @@
+0.27
diff --git a/bench/runtime/zero/eg/binarytree.runtime b/bench/runtime/zero/eg/binarytree.runtime
@@ -0,0 +1 @@
+1.68
diff --git a/bench/runtime/zero/eg/binarytree0.runtime b/bench/runtime/zero/eg/binarytree0.runtime
@@ -0,0 +1 @@
+0.60
diff --git a/bench/runtime/zero/eg/bool.runtime b/bench/runtime/zero/eg/bool.runtime
@@ -0,0 +1 @@
+1.96
diff --git a/bench/runtime/zero/eg/colour.runtime b/bench/runtime/zero/eg/colour.runtime
@@ -0,0 +1 @@
+2.03
diff --git a/bench/runtime/zero/eg/digraphs.runtime b/bench/runtime/zero/eg/digraphs.runtime
@@ -0,0 +1 @@
+1.51
diff --git a/bench/runtime/zero/eg/fun.runtime b/bench/runtime/zero/eg/fun.runtime
@@ -0,0 +1 @@
+1.08
diff --git a/bench/runtime/zero/eg/insertsort.runtime b/bench/runtime/zero/eg/insertsort.runtime
@@ -0,0 +1 @@
+7.70
diff --git a/bench/runtime/zero/eg/insertsort0.runtime b/bench/runtime/zero/eg/insertsort0.runtime
@@ -0,0 +1 @@
+0.94
diff --git a/bench/runtime/zero/eg/length.runtime b/bench/runtime/zero/eg/length.runtime
@@ -0,0 +1 @@
+0.49
diff --git a/bench/runtime/zero/eg/list.runtime b/bench/runtime/zero/eg/list.runtime
@@ -0,0 +1 @@
+2.57
diff --git a/bench/runtime/zero/eg/minus.runtime b/bench/runtime/zero/eg/minus.runtime
@@ -0,0 +1 @@
+0.55
diff --git a/bench/runtime/zero/eg/monad.runtime b/bench/runtime/zero/eg/monad.runtime
@@ -0,0 +1 @@
+0.60
diff --git a/bench/runtime/zero/eg/oddeven.runtime b/bench/runtime/zero/eg/oddeven.runtime
@@ -0,0 +1 @@
+6.84
diff --git a/bench/runtime/zero/eg/plus-abs.runtime b/bench/runtime/zero/eg/plus-abs.runtime
@@ -0,0 +1 @@
+4.40
diff --git a/bench/runtime/zero/eg/ratio.runtime b/bench/runtime/zero/eg/ratio.runtime
@@ -0,0 +1 @@
+8.25
diff --git a/bench/runtime/zero/eg/sets.runtime b/bench/runtime/zero/eg/sets.runtime
@@ -0,0 +1 @@
+7.30
diff --git a/bench/runtime/zero/eg/speculate-reason.runtime b/bench/runtime/zero/eg/speculate-reason.runtime
@@ -0,0 +1 @@
+2.86
diff --git a/bench/runtime/zero/eg/string.runtime b/bench/runtime/zero/eg/string.runtime
@@ -0,0 +1 @@
+0.90
diff --git a/bench/runtime/zero/eg/tauts.runtime b/bench/runtime/zero/eg/tauts.runtime
@@ -0,0 +1 @@
+4.11
diff --git a/bench/runtime/zero/eg/tuples.runtime b/bench/runtime/zero/eg/tuples.runtime
@@ -0,0 +1 @@
+1.26
diff --git a/bench/runtime/zero/eg/zip.runtime b/bench/runtime/zero/eg/zip.runtime
@@ -0,0 +1 @@
+2.32
diff --git a/bench/runtime/zero/versions b/bench/runtime/zero/versions
@@ -0,0 +1,5 @@
+GHC 9.0.2
+leancheck-1.0.2
+express-1.0.16
+cmdargs-0.10.22
+containers-0.6.4.1
diff --git a/bench/versions b/bench/versions
diff --git a/speculate.cabal b/speculate.cabal
@@ -33,11 +33,12 @@ extra-source-files: .gitignore
                   , bench/bool-c
                   , bench/list-c
                   , bench/minus-c
-                  , bench/runtime-zero
+                  , bench/runtime/zero/bench/*.runtime
+                  , bench/runtime/zero/eg/*.runtime
+                  , bench/runtime/zero/versions
                   , bench/runtime/lapmatrud/bench/*.runtime
                   , bench/runtime/lapmatrud/eg/*.runtime
                   , bench/runtime/lapmatrud/versions
-                  , bench/versions
                   , bin/*.sh
                   , eg/*.hs
                   , eg/*.txt