From badc180313d46c8d9802f576beb5b4a6f7c38239 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Mon, 2 Jun 2025 16:48:04 +0200 Subject: [PATCH 1/4] [Submission] colibri2 --- submissions/colibri2.json | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 submissions/colibri2.json diff --git a/submissions/colibri2.json b/submissions/colibri2.json new file mode 100644 index 00000000..fa90f3fd --- /dev/null +++ b/submissions/colibri2.json @@ -0,0 +1,23 @@ +{ + "name": "colibri2", + "contributors": [ + "François Bobot", + "Hichem Ait El Hara", + "Christophe Junke", + ], + "contacts": ["François Bobot "], + "archive": { + "url": "https://git.frama-c.com/pub/colibrics/-/jobs/1405515/artifacts/raw/colibri2_starexec_3037762e.tar.gz", + }, + "website": "http://colibri.frama-c.com/", + "system_description": "http://example.com/system.pdf", + "command": ["bin/colibri2"], + "solver_type": "Standalone", + "seed": "42", + "participations": [ + { + "tracks": ["SingleQuery"], + "logics": "QF_.*FP.*" + } + ] +} From 6b670cd6cd895b4b2e185040fcd9e1731294c936 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Mon, 2 Jun 2025 23:44:47 +0200 Subject: [PATCH 2/4] fix comma --- submissions/colibri2.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/submissions/colibri2.json b/submissions/colibri2.json index fa90f3fd..7196635f 100644 --- a/submissions/colibri2.json +++ b/submissions/colibri2.json @@ -3,11 +3,11 @@ "contributors": [ "François Bobot", "Hichem Ait El Hara", - "Christophe Junke", + "Christophe Junke" ], "contacts": ["François Bobot "], "archive": { - "url": "https://git.frama-c.com/pub/colibrics/-/jobs/1405515/artifacts/raw/colibri2_starexec_3037762e.tar.gz", + "url": "https://git.frama-c.com/pub/colibrics/-/jobs/1405515/artifacts/raw/colibri2_starexec_3037762e.tar.gz" }, "website": "http://colibri.frama-c.com/", "system_description": "http://example.com/system.pdf", From d3208d91a9542e448a736b6077f38f09b73e7f23 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Sat, 14 Jun 2025 07:13:49 +0200 Subject: [PATCH 3/4] [submission] colibri2 draft system description --- submissions/colibri2.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/colibri2.json b/submissions/colibri2.json index 7196635f..d1949c37 100644 --- a/submissions/colibri2.json +++ b/submissions/colibri2.json @@ -10,7 +10,7 @@ "url": "https://git.frama-c.com/pub/colibrics/-/jobs/1405515/artifacts/raw/colibri2_starexec_3037762e.tar.gz" }, "website": "http://colibri.frama-c.com/", - "system_description": "http://example.com/system.pdf", + "system_description": "https://drive.google.com/uc?export=download&id=14ZT6msIH9JcleUv6P4ha3Rdpc7mhpGL9", "command": ["bin/colibri2"], "solver_type": "Standalone", "seed": "42", From a69e9aaade01ccb7b362709c2ac4db1a14605a63 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Mon, 30 Jun 2025 00:33:00 +0200 Subject: [PATCH 4/4] [colibri2] Add zenodo url --- submissions/colibri2.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/submissions/colibri2.json b/submissions/colibri2.json index d1949c37..dd1d30c8 100644 --- a/submissions/colibri2.json +++ b/submissions/colibri2.json @@ -7,13 +7,14 @@ ], "contacts": ["François Bobot "], "archive": { - "url": "https://git.frama-c.com/pub/colibrics/-/jobs/1405515/artifacts/raw/colibri2_starexec_3037762e.tar.gz" + "url": "https://zenodo.org/records/15769941/files/colibri2_starexec_3037762e.tar.gz?download=1" }, "website": "http://colibri.frama-c.com/", "system_description": "https://drive.google.com/uc?export=download&id=14ZT6msIH9JcleUv6P4ha3Rdpc7mhpGL9", "command": ["bin/colibri2"], "solver_type": "Standalone", "seed": "42", + "final":true, "participations": [ { "tracks": ["SingleQuery"],