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 diff --git a/context/cafe/starlab-benchmarks/Dockerfile b/context/cafe/starlab-benchmarks/Dockerfile new file mode 100644 index 0000000..69a614d --- /dev/null +++ b/context/cafe/starlab-benchmarks/Dockerfile @@ -0,0 +1,37 @@ +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 +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} ${PROBLEM} \ + && 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..96a317c --- /dev/null +++ b/context/cafe/starlab-benchmarks/bin/cafe @@ -0,0 +1,14 @@ +#!/usr/bin/env bash +set -o pipefail +/opt/LearnML/engine/main.native $@ | tee cafe.log + +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