feat(cafe): add Cafe engine configurations (#8)

* feat: cafe context * fix: bootstraping `test.ml` * feat: update boostraping part of cafe * fix: typo directory name * fix: name of refernces should be preserved * feat: handle outputs wrapper binary * feat(cafe): add diff runner configurations
kupl · Nov 22, 2023 · d7d341f · d7d341f
1 parent 9f8dd41
commit d7d341f
Show file tree

Hide file tree

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