feat(cafe): pre-built engines for formula and lambda (#9)

* feat: add formula for cafe * feat: add lambda for cafe
kupl · Nov 22, 2023 · dea7d75 · dea7d75
1 parent d7d341f
commit dea7d75
Show file tree

Hide file tree

Showing 200 changed files with 1,600 additions and 0 deletions.
diff --git a/configures/cafe/formula-1.json b/configures/cafe/formula-1.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-10.json b/configures/cafe/formula-10.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-100.json b/configures/cafe/formula-100.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-11.json b/configures/cafe/formula-11.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-12.json b/configures/cafe/formula-12.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-13.json b/configures/cafe/formula-13.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-14.json b/configures/cafe/formula-14.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-15.json b/configures/cafe/formula-15.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-16.json b/configures/cafe/formula-16.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-17.json b/configures/cafe/formula-17.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-18.json b/configures/cafe/formula-18.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-19.json b/configures/cafe/formula-19.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-2.json b/configures/cafe/formula-2.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-20.json b/configures/cafe/formula-20.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-21.json b/configures/cafe/formula-21.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-22.json b/configures/cafe/formula-22.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-23.json b/configures/cafe/formula-23.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-24.json b/configures/cafe/formula-24.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-25.json b/configures/cafe/formula-25.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-26.json b/configures/cafe/formula-26.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-27.json b/configures/cafe/formula-27.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-28.json b/configures/cafe/formula-28.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-29.json b/configures/cafe/formula-29.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-3.json b/configures/cafe/formula-3.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-30.json b/configures/cafe/formula-30.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-31.json b/configures/cafe/formula-31.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-32.json b/configures/cafe/formula-32.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-33.json b/configures/cafe/formula-33.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-34.json b/configures/cafe/formula-34.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-35.json b/configures/cafe/formula-35.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-36.json b/configures/cafe/formula-36.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-37.json b/configures/cafe/formula-37.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-38.json b/configures/cafe/formula-38.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-39.json b/configures/cafe/formula-39.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-4.json b/configures/cafe/formula-4.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-40.json b/configures/cafe/formula-40.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-41.json b/configures/cafe/formula-41.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-42.json b/configures/cafe/formula-42.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-43.json b/configures/cafe/formula-43.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}
diff --git a/configures/cafe/formula-44.json b/configures/cafe/formula-44.json
@@ -0,0 +1,8 @@
+{
+    "context": "context/cafe/starlab-benchmarks",
+    "name": "cafe",
+    "tag": "formula-1",
+    "build_args": {
+        "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:formula-1"
+    }
+}