From af50527910de0492ed956733e843b3033471a869 Mon Sep 17 00:00:00 2001 From: christophe Date: Thu, 5 Jun 2025 17:36:04 +0200 Subject: [PATCH 1/3] COLIBRI submission --- submissions/COLIBRI.json | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 submissions/COLIBRI.json diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json new file mode 100644 index 00000000..8814486f --- /dev/null +++ b/submissions/COLIBRI.json @@ -0,0 +1,22 @@ +{ + "name": "COLIBRI", + "contributors": [ + "Bruno Marre", "François Bobot", "Christophe Junke" + ], + "contacts": ["Christophe Junke "], + "archive": { + "url": "https://git.frama-c.com/pub/colibri/-/releases/2025.06/downloads/bundle-v5", + "h": { "sha256": "f251f170c75a96af9ccde9859ac349e5c1cdd6fa6aeca779cb1ef4b9a8134871" } + }, + "website": "http://colibri.frama-c.com/", + "system_description": "https://colibri.frama-c.com/assets/documents/colibri_2025.pdf", + "command": ["colibri-2025.06-v5/colibri", "--memlimit", "5000"], + "solver_type": "Standalone", + "participations": [ + { + "tracks": ["SingleQuery"], + "logics": "QF_.*FP.*" + } + ], + "seed": 0 +} From c95a67f5ae5ec5e714478677c408e5059feac61b Mon Sep 17 00:00:00 2001 From: christophe Date: Tue, 1 Jul 2025 09:31:08 +0200 Subject: [PATCH 2/3] COLIBRI: update regular expression --- submissions/COLIBRI.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json index 8814486f..9267939d 100644 --- a/submissions/COLIBRI.json +++ b/submissions/COLIBRI.json @@ -15,7 +15,7 @@ "participations": [ { "tracks": ["SingleQuery"], - "logics": "QF_.*FP.*" + "logics": "QF_.*FP(?!DT).*" } ], "seed": 0 From c87afdfc1a16465d6bf03269484905760be8b911 Mon Sep 17 00:00:00 2001 From: christophe Date: Tue, 1 Jul 2025 12:42:24 +0200 Subject: [PATCH 3/3] COLIBRI: point to Zenodo URL --- submissions/COLIBRI.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json index 9267939d..efc15bf2 100644 --- a/submissions/COLIBRI.json +++ b/submissions/COLIBRI.json @@ -5,7 +5,7 @@ ], "contacts": ["Christophe Junke "], "archive": { - "url": "https://git.frama-c.com/pub/colibri/-/releases/2025.06/downloads/bundle-v5", + "url": "https://zenodo.org/records/15602589/files/colibri.2025.06-e5.tbz", "h": { "sha256": "f251f170c75a96af9ccde9859ac349e5c1cdd6fa6aeca779cb1ef4b9a8134871" } }, "website": "http://colibri.frama-c.com/",