From 88049f3ad0259dc4445df9a66b55ed4cd73b2f59 Mon Sep 17 00:00:00 2001 From: Henry Lee Date: Tue, 21 Nov 2023 15:45:12 +0900 Subject: [PATCH 1/7] feat: cafe context --- context/cafe/starlab-benchmarks/Dockerfile | 31 ++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 context/cafe/starlab-benchmarks/Dockerfile diff --git a/context/cafe/starlab-benchmarks/Dockerfile b/context/cafe/starlab-benchmarks/Dockerfile new file mode 100644 index 0000000..a58364f --- /dev/null +++ b/context/cafe/starlab-benchmarks/Dockerfile @@ -0,0 +1,31 @@ +ARG BENCHMARK_IMAGE +FROM ${BENCHMARK_IMAGE} + +RUN export DEBIAN_FRONTEND=noninteractive \ + && apt-get update \ + && apt-get install -y \ + jq \ + libgmp-dev \ + git \ + python3 \ + python3-distutils \ + && apt-get autoremove -y && apt-get clean -y && rm -rf /var/lib/apt/lists/* + +RUN opam install -y \ + batteries \ + menhir \ + ocamlbuild \ + ocamlfind \ + ocamlformat \ + z3 \ + zarith \ + && git clone --depth 1 https://github.com/kupl/LearnML.git /opt/LearnML \ + && sed -i 's/Z3/z3/g' /opt/LearnML/engine/_tags \ + && cd /opt/LearnML/engine \ + && ./build + +WORKDIR /workspace +RUN cd $(cat metadata.json | jq '.buggyPath') \ + && if [ -f test.ml ]; then \ + sed -i 's/open Src//g' test.ml \ + done From 1954bc127981b48162491427972f2f1fcd8b8b4f Mon Sep 17 00:00:00 2001 From: Henry Lee Date: Wed, 22 Nov 2023 09:36:23 +0900 Subject: [PATCH 2/7] fix: bootstraping `test.ml` --- context/cafe/starlab-benchmarks/Dockerfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/context/cafe/starlab-benchmarks/Dockerfile b/context/cafe/starlab-benchmarks/Dockerfile index a58364f..02e6d4f 100644 --- a/context/cafe/starlab-benchmarks/Dockerfile +++ b/context/cafe/starlab-benchmarks/Dockerfile @@ -25,7 +25,7 @@ RUN opam install -y \ && ./build WORKDIR /workspace -RUN cd $(cat metadata.json | jq '.buggyPath') \ +RUN cd $(cat metadata.json | jq -r '.buggyPath') \ && if [ -f test.ml ]; then \ - sed -i 's/open Src//g' test.ml \ - done + sed -i 's/open Src//g' test.ml; \ + fi From 7b29e6e4fdfb47b6889fcc2ed6627d05c5bbf36a Mon Sep 17 00:00:00 2001 From: Henry Lee Date: Wed, 22 Nov 2023 10:59:45 +0900 Subject: [PATCH 3/7] feat: update boostraping part of cafe --- context/cafe/starlab-benchmarks/Dockerfile | 8 +++++++- context/cafe/starlab-benchmarks/bin/cafe | 3 +++ 2 files changed, 10 insertions(+), 1 deletion(-) create mode 100755 context/cafe/starlab-benchmarks/bin/cafe diff --git a/context/cafe/starlab-benchmarks/Dockerfile b/context/cafe/starlab-benchmarks/Dockerfile index 02e6d4f..760bd8e 100644 --- a/context/cafe/starlab-benchmarks/Dockerfile +++ b/context/cafe/starlab-benchmarks/Dockerfile @@ -25,7 +25,13 @@ RUN opam install -y \ && ./build WORKDIR /workspace -RUN cd $(cat metadata.json | jq -r '.buggyPath') \ +COPY ./bin /opt/bin +ENV PATH="/opt/bin:${PATH}" +RUN export BUGGY_PATH=$(cat metadata.json | jq -r '.buggyPath') \ + && cp metadata.json ${BUGGY_PATH}/metadata.json \ + && cd ${BUGGY_PATH} \ + && export PROBLEM=$(cat metadata.json | jq -r '.id' | cut -d'-' -f1) \ + && cp -r /opt/LearnML/benchmarks/c/${PROBLEM} ./references \ && if [ -f test.ml ]; then \ sed -i 's/open Src//g' test.ml; \ fi diff --git a/context/cafe/starlab-benchmarks/bin/cafe b/context/cafe/starlab-benchmarks/bin/cafe new file mode 100755 index 0000000..ba5186d --- /dev/null +++ b/context/cafe/starlab-benchmarks/bin/cafe @@ -0,0 +1,3 @@ +#!/usr/bin/env bash + +/opt/LearnML/engine/main.native $@ From 73f5aa1e92cef2bf21f8e9336786fab03a4ff4af Mon Sep 17 00:00:00 2001 From: Henry Lee Date: Wed, 22 Nov 2023 11:14:23 +0900 Subject: [PATCH 4/7] fix: typo directory name --- context/cafe/starlab-benchmarks/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/context/cafe/starlab-benchmarks/Dockerfile b/context/cafe/starlab-benchmarks/Dockerfile index 760bd8e..e9d18ca 100644 --- a/context/cafe/starlab-benchmarks/Dockerfile +++ b/context/cafe/starlab-benchmarks/Dockerfile @@ -31,7 +31,7 @@ RUN export BUGGY_PATH=$(cat metadata.json | jq -r '.buggyPath') \ && cp metadata.json ${BUGGY_PATH}/metadata.json \ && cd ${BUGGY_PATH} \ && export PROBLEM=$(cat metadata.json | jq -r '.id' | cut -d'-' -f1) \ - && cp -r /opt/LearnML/benchmarks/c/${PROBLEM} ./references \ + && cp -r /opt/LearnML/benchmarks/C/${PROBLEM} ./references \ && if [ -f test.ml ]; then \ sed -i 's/open Src//g' test.ml; \ fi From e1ba26d4641b148d8cedb6b780c34779ba04ca3f Mon Sep 17 00:00:00 2001 From: Henry Lee Date: Wed, 22 Nov 2023 13:26:12 +0900 Subject: [PATCH 5/7] fix: name of refernces should be preserved --- context/cafe/starlab-benchmarks/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/context/cafe/starlab-benchmarks/Dockerfile b/context/cafe/starlab-benchmarks/Dockerfile index e9d18ca..69a614d 100644 --- a/context/cafe/starlab-benchmarks/Dockerfile +++ b/context/cafe/starlab-benchmarks/Dockerfile @@ -31,7 +31,7 @@ RUN export BUGGY_PATH=$(cat metadata.json | jq -r '.buggyPath') \ && cp metadata.json ${BUGGY_PATH}/metadata.json \ && cd ${BUGGY_PATH} \ && export PROBLEM=$(cat metadata.json | jq -r '.id' | cut -d'-' -f1) \ - && cp -r /opt/LearnML/benchmarks/C/${PROBLEM} ./references \ + && cp -r /opt/LearnML/benchmarks/C/${PROBLEM} ${PROBLEM} \ && if [ -f test.ml ]; then \ sed -i 's/open Src//g' test.ml; \ fi From ccd829400b564b83e04158f53f62bf141bebfadc Mon Sep 17 00:00:00 2001 From: Henry Lee Date: Wed, 22 Nov 2023 13:26:45 +0900 Subject: [PATCH 6/7] feat: handle outputs wrapper binary --- context/cafe/starlab-benchmarks/bin/cafe | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/context/cafe/starlab-benchmarks/bin/cafe b/context/cafe/starlab-benchmarks/bin/cafe index ba5186d..96a317c 100755 --- a/context/cafe/starlab-benchmarks/bin/cafe +++ b/context/cafe/starlab-benchmarks/bin/cafe @@ -1,3 +1,14 @@ #!/usr/bin/env bash +set -o pipefail +/opt/LearnML/engine/main.native $@ | tee cafe.log -/opt/LearnML/engine/main.native $@ +if [ $? -eq 0 ]; then + PATCH=$(cat cafe.log | awk '/^-----------------------------$/ { c++ } c>=4' | tail -n +3 | awk '/^-----------------------------$/ { c++ } c<=0' | head -n -1) + if [ "$PATCH" = "None" ] || [ "$PATCH" = "" ]; then + exit 1 + fi + echo "$PATCH" > fixed.ml + exit 0 +else + exit $? +fi From 8b60e01efb04b512862cebdde4a3e984044613fe Mon Sep 17 00:00:00 2001 From: Henry Lee Date: Wed, 22 Nov 2023 15:09:48 +0900 Subject: [PATCH 7/7] feat(cafe): add diff runner configurations --- configures/cafe/diff-1.json | 8 ++++++++ configures/cafe/diff-10.json | 8 ++++++++ configures/cafe/diff-100.json | 8 ++++++++ configures/cafe/diff-11.json | 8 ++++++++ configures/cafe/diff-12.json | 8 ++++++++ configures/cafe/diff-13.json | 8 ++++++++ configures/cafe/diff-14.json | 8 ++++++++ configures/cafe/diff-15.json | 8 ++++++++ configures/cafe/diff-16.json | 8 ++++++++ configures/cafe/diff-17.json | 8 ++++++++ configures/cafe/diff-18.json | 8 ++++++++ configures/cafe/diff-19.json | 8 ++++++++ configures/cafe/diff-2.json | 8 ++++++++ configures/cafe/diff-20.json | 8 ++++++++ configures/cafe/diff-21.json | 8 ++++++++ configures/cafe/diff-22.json | 8 ++++++++ configures/cafe/diff-23.json | 8 ++++++++ configures/cafe/diff-24.json | 8 ++++++++ configures/cafe/diff-25.json | 8 ++++++++ configures/cafe/diff-26.json | 8 ++++++++ configures/cafe/diff-27.json | 8 ++++++++ configures/cafe/diff-28.json | 8 ++++++++ configures/cafe/diff-29.json | 8 ++++++++ configures/cafe/diff-3.json | 8 ++++++++ configures/cafe/diff-30.json | 8 ++++++++ configures/cafe/diff-31.json | 8 ++++++++ configures/cafe/diff-32.json | 8 ++++++++ configures/cafe/diff-33.json | 8 ++++++++ configures/cafe/diff-34.json | 8 ++++++++ configures/cafe/diff-35.json | 8 ++++++++ configures/cafe/diff-36.json | 8 ++++++++ configures/cafe/diff-37.json | 8 ++++++++ configures/cafe/diff-38.json | 8 ++++++++ configures/cafe/diff-39.json | 8 ++++++++ configures/cafe/diff-4.json | 8 ++++++++ configures/cafe/diff-40.json | 8 ++++++++ configures/cafe/diff-41.json | 8 ++++++++ configures/cafe/diff-42.json | 8 ++++++++ configures/cafe/diff-43.json | 8 ++++++++ configures/cafe/diff-44.json | 8 ++++++++ configures/cafe/diff-45.json | 8 ++++++++ configures/cafe/diff-46.json | 8 ++++++++ configures/cafe/diff-47.json | 8 ++++++++ configures/cafe/diff-48.json | 8 ++++++++ configures/cafe/diff-49.json | 8 ++++++++ configures/cafe/diff-5.json | 8 ++++++++ configures/cafe/diff-50.json | 8 ++++++++ configures/cafe/diff-51.json | 8 ++++++++ configures/cafe/diff-52.json | 8 ++++++++ configures/cafe/diff-53.json | 8 ++++++++ configures/cafe/diff-54.json | 8 ++++++++ configures/cafe/diff-55.json | 8 ++++++++ configures/cafe/diff-56.json | 8 ++++++++ configures/cafe/diff-57.json | 8 ++++++++ configures/cafe/diff-58.json | 8 ++++++++ configures/cafe/diff-59.json | 8 ++++++++ configures/cafe/diff-6.json | 8 ++++++++ configures/cafe/diff-60.json | 8 ++++++++ configures/cafe/diff-61.json | 8 ++++++++ configures/cafe/diff-62.json | 8 ++++++++ configures/cafe/diff-63.json | 8 ++++++++ configures/cafe/diff-64.json | 8 ++++++++ configures/cafe/diff-65.json | 8 ++++++++ configures/cafe/diff-66.json | 8 ++++++++ configures/cafe/diff-67.json | 8 ++++++++ configures/cafe/diff-68.json | 8 ++++++++ configures/cafe/diff-69.json | 8 ++++++++ configures/cafe/diff-7.json | 8 ++++++++ configures/cafe/diff-70.json | 8 ++++++++ configures/cafe/diff-71.json | 8 ++++++++ configures/cafe/diff-72.json | 8 ++++++++ configures/cafe/diff-73.json | 8 ++++++++ configures/cafe/diff-74.json | 8 ++++++++ configures/cafe/diff-75.json | 8 ++++++++ configures/cafe/diff-76.json | 8 ++++++++ configures/cafe/diff-77.json | 8 ++++++++ configures/cafe/diff-78.json | 8 ++++++++ configures/cafe/diff-79.json | 8 ++++++++ configures/cafe/diff-8.json | 8 ++++++++ configures/cafe/diff-80.json | 8 ++++++++ configures/cafe/diff-81.json | 8 ++++++++ configures/cafe/diff-82.json | 8 ++++++++ configures/cafe/diff-83.json | 8 ++++++++ configures/cafe/diff-84.json | 8 ++++++++ configures/cafe/diff-85.json | 8 ++++++++ configures/cafe/diff-86.json | 8 ++++++++ configures/cafe/diff-87.json | 8 ++++++++ configures/cafe/diff-88.json | 8 ++++++++ configures/cafe/diff-89.json | 8 ++++++++ configures/cafe/diff-9.json | 8 ++++++++ configures/cafe/diff-90.json | 8 ++++++++ configures/cafe/diff-91.json | 8 ++++++++ configures/cafe/diff-92.json | 8 ++++++++ configures/cafe/diff-93.json | 8 ++++++++ configures/cafe/diff-94.json | 8 ++++++++ configures/cafe/diff-95.json | 8 ++++++++ configures/cafe/diff-96.json | 8 ++++++++ configures/cafe/diff-97.json | 8 ++++++++ configures/cafe/diff-98.json | 8 ++++++++ configures/cafe/diff-99.json | 8 ++++++++ 100 files changed, 800 insertions(+) create mode 100644 configures/cafe/diff-1.json create mode 100644 configures/cafe/diff-10.json create mode 100644 configures/cafe/diff-100.json create mode 100644 configures/cafe/diff-11.json create mode 100644 configures/cafe/diff-12.json create mode 100644 configures/cafe/diff-13.json create mode 100644 configures/cafe/diff-14.json create mode 100644 configures/cafe/diff-15.json create mode 100644 configures/cafe/diff-16.json create mode 100644 configures/cafe/diff-17.json create mode 100644 configures/cafe/diff-18.json create mode 100644 configures/cafe/diff-19.json create mode 100644 configures/cafe/diff-2.json create mode 100644 configures/cafe/diff-20.json create mode 100644 configures/cafe/diff-21.json create mode 100644 configures/cafe/diff-22.json create mode 100644 configures/cafe/diff-23.json create mode 100644 configures/cafe/diff-24.json create mode 100644 configures/cafe/diff-25.json create mode 100644 configures/cafe/diff-26.json create mode 100644 configures/cafe/diff-27.json create mode 100644 configures/cafe/diff-28.json create mode 100644 configures/cafe/diff-29.json create mode 100644 configures/cafe/diff-3.json create mode 100644 configures/cafe/diff-30.json create mode 100644 configures/cafe/diff-31.json create mode 100644 configures/cafe/diff-32.json create mode 100644 configures/cafe/diff-33.json create mode 100644 configures/cafe/diff-34.json create mode 100644 configures/cafe/diff-35.json create mode 100644 configures/cafe/diff-36.json create mode 100644 configures/cafe/diff-37.json create mode 100644 configures/cafe/diff-38.json create mode 100644 configures/cafe/diff-39.json create mode 100644 configures/cafe/diff-4.json create mode 100644 configures/cafe/diff-40.json create mode 100644 configures/cafe/diff-41.json create mode 100644 configures/cafe/diff-42.json create mode 100644 configures/cafe/diff-43.json create mode 100644 configures/cafe/diff-44.json create mode 100644 configures/cafe/diff-45.json create mode 100644 configures/cafe/diff-46.json create mode 100644 configures/cafe/diff-47.json create mode 100644 configures/cafe/diff-48.json create mode 100644 configures/cafe/diff-49.json create mode 100644 configures/cafe/diff-5.json create mode 100644 configures/cafe/diff-50.json create mode 100644 configures/cafe/diff-51.json create mode 100644 configures/cafe/diff-52.json create mode 100644 configures/cafe/diff-53.json create mode 100644 configures/cafe/diff-54.json create mode 100644 configures/cafe/diff-55.json create mode 100644 configures/cafe/diff-56.json create mode 100644 configures/cafe/diff-57.json create mode 100644 configures/cafe/diff-58.json create mode 100644 configures/cafe/diff-59.json create mode 100644 configures/cafe/diff-6.json create mode 100644 configures/cafe/diff-60.json create mode 100644 configures/cafe/diff-61.json create mode 100644 configures/cafe/diff-62.json create mode 100644 configures/cafe/diff-63.json create mode 100644 configures/cafe/diff-64.json create mode 100644 configures/cafe/diff-65.json create mode 100644 configures/cafe/diff-66.json create mode 100644 configures/cafe/diff-67.json create mode 100644 configures/cafe/diff-68.json create mode 100644 configures/cafe/diff-69.json create mode 100644 configures/cafe/diff-7.json create mode 100644 configures/cafe/diff-70.json create mode 100644 configures/cafe/diff-71.json create mode 100644 configures/cafe/diff-72.json create mode 100644 configures/cafe/diff-73.json create mode 100644 configures/cafe/diff-74.json create mode 100644 configures/cafe/diff-75.json create mode 100644 configures/cafe/diff-76.json create mode 100644 configures/cafe/diff-77.json create mode 100644 configures/cafe/diff-78.json create mode 100644 configures/cafe/diff-79.json create mode 100644 configures/cafe/diff-8.json create mode 100644 configures/cafe/diff-80.json create mode 100644 configures/cafe/diff-81.json create mode 100644 configures/cafe/diff-82.json create mode 100644 configures/cafe/diff-83.json create mode 100644 configures/cafe/diff-84.json create mode 100644 configures/cafe/diff-85.json create mode 100644 configures/cafe/diff-86.json create mode 100644 configures/cafe/diff-87.json create mode 100644 configures/cafe/diff-88.json create mode 100644 configures/cafe/diff-89.json create mode 100644 configures/cafe/diff-9.json create mode 100644 configures/cafe/diff-90.json create mode 100644 configures/cafe/diff-91.json create mode 100644 configures/cafe/diff-92.json create mode 100644 configures/cafe/diff-93.json create mode 100644 configures/cafe/diff-94.json create mode 100644 configures/cafe/diff-95.json create mode 100644 configures/cafe/diff-96.json create mode 100644 configures/cafe/diff-97.json create mode 100644 configures/cafe/diff-98.json create mode 100644 configures/cafe/diff-99.json diff --git a/configures/cafe/diff-1.json b/configures/cafe/diff-1.json new file mode 100644 index 0000000..f57046e --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-10.json b/configures/cafe/diff-10.json new file mode 100644 index 0000000..03167e4 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-100.json b/configures/cafe/diff-100.json new file mode 100644 index 0000000..08600b4 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-11.json b/configures/cafe/diff-11.json new file mode 100644 index 0000000..91b3611 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-12.json b/configures/cafe/diff-12.json new file mode 100644 index 0000000..a704a6e --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-13.json b/configures/cafe/diff-13.json new file mode 100644 index 0000000..57a45f2 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-14.json b/configures/cafe/diff-14.json new file mode 100644 index 0000000..3b43972 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-15.json b/configures/cafe/diff-15.json new file mode 100644 index 0000000..1fd3c44 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-16.json b/configures/cafe/diff-16.json new file mode 100644 index 0000000..aafe146 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-17.json b/configures/cafe/diff-17.json new file mode 100644 index 0000000..c538895 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-18.json b/configures/cafe/diff-18.json new file mode 100644 index 0000000..ee6151b --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-19.json b/configures/cafe/diff-19.json new file mode 100644 index 0000000..22e9c77 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-2.json b/configures/cafe/diff-2.json new file mode 100644 index 0000000..e0d4c10 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-20.json b/configures/cafe/diff-20.json new file mode 100644 index 0000000..b0493d1 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-21.json b/configures/cafe/diff-21.json new file mode 100644 index 0000000..161e742 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-22.json b/configures/cafe/diff-22.json new file mode 100644 index 0000000..1dd2ceb --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-23.json b/configures/cafe/diff-23.json new file mode 100644 index 0000000..d875401 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-24.json b/configures/cafe/diff-24.json new file mode 100644 index 0000000..f29ab78 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-25.json b/configures/cafe/diff-25.json new file mode 100644 index 0000000..19083b9 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-26.json b/configures/cafe/diff-26.json new file mode 100644 index 0000000..60daab4 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-27.json b/configures/cafe/diff-27.json new file mode 100644 index 0000000..b08cf3c --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-28.json b/configures/cafe/diff-28.json new file mode 100644 index 0000000..03249ea --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-29.json b/configures/cafe/diff-29.json new file mode 100644 index 0000000..65d70d3 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-3.json b/configures/cafe/diff-3.json new file mode 100644 index 0000000..d877832 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-30.json b/configures/cafe/diff-30.json new file mode 100644 index 0000000..fcaf6c5 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-31.json b/configures/cafe/diff-31.json new file mode 100644 index 0000000..d1c9084 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-32.json b/configures/cafe/diff-32.json new file mode 100644 index 0000000..fa825e5 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-33.json b/configures/cafe/diff-33.json new file mode 100644 index 0000000..081bd0e --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-34.json b/configures/cafe/diff-34.json new file mode 100644 index 0000000..11a1e7d --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-35.json b/configures/cafe/diff-35.json new file mode 100644 index 0000000..568961e --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-36.json b/configures/cafe/diff-36.json new file mode 100644 index 0000000..91dfd76 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-37.json b/configures/cafe/diff-37.json new file mode 100644 index 0000000..778b378 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-38.json b/configures/cafe/diff-38.json new file mode 100644 index 0000000..55f97ab --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-39.json b/configures/cafe/diff-39.json new file mode 100644 index 0000000..c08df46 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-4.json b/configures/cafe/diff-4.json new file mode 100644 index 0000000..a3d60dc --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-40.json b/configures/cafe/diff-40.json new file mode 100644 index 0000000..03a7136 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-41.json b/configures/cafe/diff-41.json new file mode 100644 index 0000000..fb42f7a --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-42.json b/configures/cafe/diff-42.json new file mode 100644 index 0000000..3f5a7bc --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-43.json b/configures/cafe/diff-43.json new file mode 100644 index 0000000..aab5bb7 --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-44.json b/configures/cafe/diff-44.json new file mode 100644 index 0000000..8ddc96f --- /dev/null +++ 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" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-45.json b/configures/cafe/diff-45.json new file mode 100644 index 0000000..0b0f8a9 --- /dev/null +++ b/configures/cafe/diff-45.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-45", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-45" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-46.json b/configures/cafe/diff-46.json new file mode 100644 index 0000000..8137b47 --- /dev/null +++ b/configures/cafe/diff-46.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-46", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-46" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-47.json b/configures/cafe/diff-47.json new file mode 100644 index 0000000..3a57379 --- /dev/null +++ b/configures/cafe/diff-47.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-47", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-47" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-48.json b/configures/cafe/diff-48.json new file mode 100644 index 0000000..33a231d --- /dev/null +++ b/configures/cafe/diff-48.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-48", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-48" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-49.json b/configures/cafe/diff-49.json new file mode 100644 index 0000000..3f20735 --- /dev/null +++ b/configures/cafe/diff-49.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-49", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-49" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-5.json b/configures/cafe/diff-5.json new file mode 100644 index 0000000..e1b904f --- /dev/null +++ b/configures/cafe/diff-5.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-5", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-5" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-50.json b/configures/cafe/diff-50.json new file mode 100644 index 0000000..daf2ec0 --- /dev/null +++ b/configures/cafe/diff-50.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-50", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-50" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-51.json b/configures/cafe/diff-51.json new file mode 100644 index 0000000..9990a20 --- /dev/null +++ b/configures/cafe/diff-51.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-51", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-51" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-52.json b/configures/cafe/diff-52.json new file mode 100644 index 0000000..d8ffef2 --- /dev/null +++ b/configures/cafe/diff-52.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-52", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-52" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-53.json b/configures/cafe/diff-53.json new file mode 100644 index 0000000..b17bd41 --- /dev/null +++ b/configures/cafe/diff-53.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-53", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-53" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-54.json b/configures/cafe/diff-54.json new file mode 100644 index 0000000..9270990 --- /dev/null +++ b/configures/cafe/diff-54.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-54", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-54" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-55.json b/configures/cafe/diff-55.json new file mode 100644 index 0000000..454f6eb --- /dev/null +++ b/configures/cafe/diff-55.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-55", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-55" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-56.json b/configures/cafe/diff-56.json new file mode 100644 index 0000000..1b5c243 --- /dev/null +++ b/configures/cafe/diff-56.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-56", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-56" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-57.json b/configures/cafe/diff-57.json new file mode 100644 index 0000000..56df60f --- /dev/null +++ b/configures/cafe/diff-57.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-57", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-57" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-58.json b/configures/cafe/diff-58.json new file mode 100644 index 0000000..afa8369 --- /dev/null +++ b/configures/cafe/diff-58.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-58", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-58" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-59.json b/configures/cafe/diff-59.json new file mode 100644 index 0000000..62d3490 --- /dev/null +++ b/configures/cafe/diff-59.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-59", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-59" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-6.json b/configures/cafe/diff-6.json new file mode 100644 index 0000000..398dc50 --- /dev/null +++ b/configures/cafe/diff-6.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-6", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-6" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-60.json b/configures/cafe/diff-60.json new file mode 100644 index 0000000..63f5a00 --- /dev/null +++ b/configures/cafe/diff-60.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-60", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-60" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-61.json b/configures/cafe/diff-61.json new file mode 100644 index 0000000..ee9c107 --- /dev/null +++ b/configures/cafe/diff-61.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-61", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-61" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-62.json b/configures/cafe/diff-62.json new file mode 100644 index 0000000..907362e --- /dev/null +++ b/configures/cafe/diff-62.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-62", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-62" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-63.json b/configures/cafe/diff-63.json new file mode 100644 index 0000000..6b22b37 --- /dev/null +++ b/configures/cafe/diff-63.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-63", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-63" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-64.json b/configures/cafe/diff-64.json new file mode 100644 index 0000000..f19ccbf --- /dev/null +++ b/configures/cafe/diff-64.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-64", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-64" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-65.json b/configures/cafe/diff-65.json new file mode 100644 index 0000000..a631949 --- /dev/null +++ b/configures/cafe/diff-65.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-65", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-65" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-66.json b/configures/cafe/diff-66.json new file mode 100644 index 0000000..9d91d75 --- /dev/null +++ b/configures/cafe/diff-66.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-66", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-66" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-67.json b/configures/cafe/diff-67.json new file mode 100644 index 0000000..c7691aa --- /dev/null +++ b/configures/cafe/diff-67.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-67", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-67" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-68.json b/configures/cafe/diff-68.json new file mode 100644 index 0000000..14767e4 --- /dev/null +++ b/configures/cafe/diff-68.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-68", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-68" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-69.json b/configures/cafe/diff-69.json new file mode 100644 index 0000000..8fcd002 --- /dev/null +++ b/configures/cafe/diff-69.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-69", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-69" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-7.json b/configures/cafe/diff-7.json new file mode 100644 index 0000000..9e18f63 --- /dev/null +++ b/configures/cafe/diff-7.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-7", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-7" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-70.json b/configures/cafe/diff-70.json new file mode 100644 index 0000000..7801a3e --- /dev/null +++ b/configures/cafe/diff-70.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-70", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-70" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-71.json b/configures/cafe/diff-71.json new file mode 100644 index 0000000..01152e4 --- /dev/null +++ b/configures/cafe/diff-71.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-71", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-71" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-72.json b/configures/cafe/diff-72.json new file mode 100644 index 0000000..753017e --- /dev/null +++ b/configures/cafe/diff-72.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-72", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-72" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-73.json b/configures/cafe/diff-73.json new file mode 100644 index 0000000..15ce04f --- /dev/null +++ b/configures/cafe/diff-73.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-73", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-73" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-74.json b/configures/cafe/diff-74.json new file mode 100644 index 0000000..261ffa2 --- /dev/null +++ b/configures/cafe/diff-74.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-74", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-74" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-75.json b/configures/cafe/diff-75.json new file mode 100644 index 0000000..cd67a35 --- /dev/null +++ b/configures/cafe/diff-75.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-75", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-75" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-76.json b/configures/cafe/diff-76.json new file mode 100644 index 0000000..54b3299 --- /dev/null +++ b/configures/cafe/diff-76.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-76", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-76" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-77.json b/configures/cafe/diff-77.json new file mode 100644 index 0000000..ce8bd7b --- /dev/null +++ b/configures/cafe/diff-77.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-77", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-77" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-78.json b/configures/cafe/diff-78.json new file mode 100644 index 0000000..d91d038 --- /dev/null +++ b/configures/cafe/diff-78.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-78", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-78" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-79.json b/configures/cafe/diff-79.json new file mode 100644 index 0000000..cad6c21 --- /dev/null +++ b/configures/cafe/diff-79.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-79", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-79" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-8.json b/configures/cafe/diff-8.json new file mode 100644 index 0000000..903af93 --- /dev/null +++ b/configures/cafe/diff-8.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-8", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-8" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-80.json b/configures/cafe/diff-80.json new file mode 100644 index 0000000..5b51414 --- /dev/null +++ b/configures/cafe/diff-80.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-80", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-80" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-81.json b/configures/cafe/diff-81.json new file mode 100644 index 0000000..7ace9ba --- /dev/null +++ b/configures/cafe/diff-81.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-81", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-81" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-82.json b/configures/cafe/diff-82.json new file mode 100644 index 0000000..2f29df8 --- /dev/null +++ b/configures/cafe/diff-82.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-82", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-82" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-83.json b/configures/cafe/diff-83.json new file mode 100644 index 0000000..811568e --- /dev/null +++ b/configures/cafe/diff-83.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-83", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-83" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-84.json b/configures/cafe/diff-84.json new file mode 100644 index 0000000..b63a725 --- /dev/null +++ b/configures/cafe/diff-84.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-84", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-84" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-85.json b/configures/cafe/diff-85.json new file mode 100644 index 0000000..5427c48 --- /dev/null +++ b/configures/cafe/diff-85.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-85", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-85" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-86.json b/configures/cafe/diff-86.json new file mode 100644 index 0000000..3375c32 --- /dev/null +++ b/configures/cafe/diff-86.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-86", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-86" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-87.json b/configures/cafe/diff-87.json new file mode 100644 index 0000000..5726106 --- /dev/null +++ b/configures/cafe/diff-87.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-87", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-87" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-88.json b/configures/cafe/diff-88.json new file mode 100644 index 0000000..e4c5915 --- /dev/null +++ b/configures/cafe/diff-88.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-88", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-88" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-89.json b/configures/cafe/diff-89.json new file mode 100644 index 0000000..1f69194 --- /dev/null +++ b/configures/cafe/diff-89.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-89", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-89" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-9.json b/configures/cafe/diff-9.json new file mode 100644 index 0000000..02a12f5 --- /dev/null +++ b/configures/cafe/diff-9.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-9", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-9" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-90.json b/configures/cafe/diff-90.json new file mode 100644 index 0000000..2b8271c --- /dev/null +++ b/configures/cafe/diff-90.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-90", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-90" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-91.json b/configures/cafe/diff-91.json new file mode 100644 index 0000000..76ace96 --- /dev/null +++ b/configures/cafe/diff-91.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-91", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-91" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-92.json b/configures/cafe/diff-92.json new file mode 100644 index 0000000..76dd6ef --- /dev/null +++ b/configures/cafe/diff-92.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-92", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-92" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-93.json b/configures/cafe/diff-93.json new file mode 100644 index 0000000..d5f79ab --- /dev/null +++ b/configures/cafe/diff-93.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-93", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-93" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-94.json b/configures/cafe/diff-94.json new file mode 100644 index 0000000..ccf6b62 --- /dev/null +++ b/configures/cafe/diff-94.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-94", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-94" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-95.json b/configures/cafe/diff-95.json new file mode 100644 index 0000000..54a5cf1 --- /dev/null +++ b/configures/cafe/diff-95.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-95", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-95" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-96.json b/configures/cafe/diff-96.json new file mode 100644 index 0000000..04cb574 --- /dev/null +++ b/configures/cafe/diff-96.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-96", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-96" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-97.json b/configures/cafe/diff-97.json new file mode 100644 index 0000000..fa33013 --- /dev/null +++ b/configures/cafe/diff-97.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-97", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-97" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-98.json b/configures/cafe/diff-98.json new file mode 100644 index 0000000..0e5df1f --- /dev/null +++ b/configures/cafe/diff-98.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-98", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-98" + } +} \ No newline at end of file diff --git a/configures/cafe/diff-99.json b/configures/cafe/diff-99.json new file mode 100644 index 0000000..edcb776 --- /dev/null +++ b/configures/cafe/diff-99.json @@ -0,0 +1,8 @@ +{ + "context": "context/cafe/starlab-benchmarks", + "name": "cafe", + "tag": "diff-99", + "build_args": { + "BENCHMARK_IMAGE": "ghcr.io/kupl/starlab-benchmarks/ocaml:diff-99" + } +} \ No newline at end of file