fm-weck 1.5.2__py3-none-any.whl → 1.6.0__py3-none-any.whl

fm_weck/resources/fm_tools/fusebmc.yml

@@ -7,10 +7,10 @@ description: |
   FuSeBMC improves code quality while reducing false positives and operational disruptions.
 input_languages:
   - C
-project_url: https://veribee.co/
+project_url: https://github.com/FuSeBMC
 repository_url: https://github.com/FuSeBMC/
 spdx_license_identifier: "MIT"
-benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/fusebmc.py"
+benchexec_toolinfo_module: benchexec.tools.fusebmc
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - kaled-alshmrany
@@ -18,11 +18,20 @@ fmtools_entry_maintainers:
 maintainers:
   - orcid: 0000-0002-5822-5435
     name: Kaled Alshmrany
-    institution: University of Manchester / Institute of Public Administration
-    country: UK / Saudi Arabia
+    institution: Institute of Public Administration
+    country: Saudi Arabia
     url: https://www.linkedin.com/in/dr-kaled-alshmrany/
 
 versions:
+  - version: "testcomp26"
+    doi: "10.5281/zenodo.18051027"
+    benchexec_toolinfo_options: ["-s", "incr"]
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "testcomp25"
     doi: "10.5281/zenodo.13983351"
     benchexec_toolinfo_options: ["-s", "incr"]
@@ -37,6 +46,18 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    tool_version: "testcomp26"
+    jury_member:
+      orcid: 0000-0002-5822-5435
+      name: Kaled Alshmrany
+      institution: Institute of Public Administration
+      country: Saudi Arabia
+      url: https://www.linkedin.com/in/dr-kaled-alshmrany/
+    participants:
+      - orcid: 0000-0002-5822-5435
+        name: Kaled Alshmrany
   - competition: "Test-Comp 2025"
     track: "Test Generation"
     tool_version: "testcomp25"

fm_weck/resources/fm_tools/gazer-theta.yml

@@ -11,7 +11,8 @@ fmtools_entry_maintainers:
   - AdamZsofi
 
 maintainers:
-  - name: Zsófia Ádám
+  - orcid: 0000-0000-0000-0000
+    name: Zsófia Ádám
     institution: Budapest University of Technology and Economics
     country: Hungary
     url:
@@ -20,6 +21,8 @@ versions:
   - version: "svcomp23"
     doi: 10.5281/zenodo.10396776
     benchexec_toolinfo_options: []
+    base_container_images:
+      - docker.io/ubuntu:22.04
     required_ubuntu_packages:
       - libtinfo5
       - python3
@@ -29,6 +32,16 @@ versions:
       - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    label:
+      - inactive
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     label:
@@ -71,9 +84,9 @@ techniques:
   - Interpolation
   - Portfolio
 
+frameworks_solvers: []
+
 literature:
   - doi: 10.1007/978-3-030-72013-1_27
     title: "Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)"
     year: 2021
-
-frameworks_solvers: []

fm_weck/resources/fm_tools/gdart-llvm.yml

@@ -13,7 +13,8 @@ fmtools_entry_maintainers:
   - simon.dierl
 
 maintainers:
-  - name: Falk Howar
+  - orcid: 0000-0000-0000-0000
+    name: Falk Howar
     institution: TU Dortmund
     country: Germany
     url: https://falkhowar.de
@@ -22,11 +23,23 @@ versions:
   - version: "svcomp23"
     doi: 10.5281/zenodo.10397137
     benchexec_toolinfo_options: []
+    base_container_images:
+      - docker.io/ubuntu:22.04
     required_ubuntu_packages: []
     full_container_images:
       - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2023
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    label:
+      - inactive
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     label:
@@ -62,3 +75,5 @@ techniques:
 
 frameworks_solvers:
   - Z3
+
+literature: []

fm_weck/resources/fm_tools/gdart.yml

@@ -1,11 +1,26 @@
 id: gdart
 name: GDart
+description: |
+  GDart implements dynamic symbolic execution
+  by obtaining traces from concolic runs in the SPouT component
+  and joining them into a symbolic constraint tree in the DSE
+  component. In the backend of the DSE component, we use SMT
+  solvers to identify candidate values for seeding concrete runs.
+  This seeding allows to explore different branches following
+  the ideas presented in the context of the `DART: directed automated random testing`
+  paper by Godefroid et al. presented in 2005 (https://doi.org/10.1145/1064978.1065036).
+  Today, GDart is implemented as an ensemble of different tools.
+  The core of SPouT extends the Espresso VM part of the GraalVM project
+  and is licensed under GPL-2.0. The GraalVM itself is licensed under LGPL-2.0.
+  The DSE and verifier_stub components are licensed under Apache-2.0.
+  There are more components involved, however, we leave the clarificaiton of further
+  licensing explanations to the LICENSE file in the gdart-tool folder.
 input_languages:
   - Java
 project_url: https://github.com/tudo-aqua/gdart-svcomp
 repository_url: https://github.com/tudo-aqua/gdart-svcomp
-spdx_license_identifier: Apache-2.0 AND LGPL-2.0-only
-benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/gdart.py"
+spdx_license_identifier: LicenseRef-GDART
+benchexec_toolinfo_module: benchexec.tools.gdart
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - fhowar
@@ -24,6 +39,24 @@ maintainers:
     orcid: 0000-0002-6291-9886
 
 versions:
+  - version: "svcomp26"
+    doi: "10.5281/zenodo.17691525"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:24.04
+  - version: "svcomp26-qualification-fix-license"
+    doi: "10.5281/zenodo.17610235"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:24.04
+  - version: "svcomp26-qualification"
+    doi: "10.5281/zenodo.17397757"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:24.04
   - version: "svcomp25"
     doi: "10.5281/zenodo.14207413"
     benchexec_toolinfo_options: []
@@ -41,6 +74,20 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    jury_member:
+      orcid: 0000-0002-6291-9886
+      name: Malte Mues
+      institution: Bergische Universität Wuppertal
+      country: Germany
+      url: https://rsds.uni-wuppertal.de/en/research/
+    participants:
+      - orcid: 0000-0002-9524-4459
+        name: Falk Howar
+      - orcid: 0000-0002-6291-9886
+        name: Malte Mues
   - competition: "SV-COMP 2025"
     track: "Verification"
     tool_version: "svcomp25"

fm_weck/resources/fm_tools/goblint-par.yml

@@ -0,0 +1,66 @@
+id: goblint-par
+name: Goblint-Par
+description: |
+  Goblint-Par is a parallel variant of Goblint.
+input_languages:
+  - C
+project_url: https://goblint.in.tum.de/
+repository_url: https://github.com/goblint/analyzer
+spdx_license_identifier: MIT
+benchexec_toolinfo_module: benchexec.tools.goblint
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - sim642
+
+maintainers:
+  - orcid: 0000-0003-4553-1350
+    name: Simmo Saan
+    institution: University of Tartu
+    country: Estonia
+    url: https://sim642.eu/
+  - orcid: 0000-0002-9828-0308
+    name: Michael Schwarz
+    institution: Technische Universität München
+    country: Germany
+    url: https://michael-schwarz.github.io/
+
+versions:
+  - version: "svcomp26"
+    doi: 10.5281/zenodo.17397468 # TODO: update, currently just non-parallel Goblint
+    benchexec_toolinfo_options: ["--conf", "conf/svcomp26.json"]
+    required_ubuntu_packages:
+      - libgmp10
+      - libmpfr6
+      - cpp
+      - libc6-dev
+      - libc6-dev-i386
+      - libgcc-13-dev
+      - lib32gcc-13-dev
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
+
+competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    label:
+      - unqualified # not distinct from Goblint, just an older version of it
+    jury_member:
+      orcid: 0009-0004-9019-0852
+      name: Ali Rasim Kocal
+      institution: Technische Universität München
+      country: Germany
+      url: https://www.cs.cit.tum.de/en/pl/personen/ali-rasim-kocal/
+
+techniques:
+  - Numeric Interval Analysis
+  - Concurrency Support
+  - Algorithm Selection
+  - Floating-Point Arithmetics
+
+frameworks_solvers:
+  - Apron
+
+literature: []

fm_weck/resources/fm_tools/goblint.yml

@@ -9,7 +9,7 @@ input_languages:
 project_url: https://goblint.in.tum.de/
 repository_url: https://github.com/goblint/analyzer
 spdx_license_identifier: MIT
-benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/goblint.py"
+benchexec_toolinfo_module: benchexec.tools.goblint
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - sim642
@@ -22,33 +22,177 @@ maintainers:
     url: https://sim642.eu/
   - orcid: 0000-0002-9828-0308
     name: Michael Schwarz
-    institution: Technische Universität München
-    country: Germany
+    institution: National University of Singapore
+    country: Singapore
     url: https://michael-schwarz.github.io/
+  - orcid: 0009-0008-3725-4131
+    name: Karoliine Holter
+    institution: University of Tartu
+    country: Estonia
+    url:
 
 versions:
+  - version: "svcomp26"
+    doi: 10.5281/zenodo.17642247
+    benchexec_toolinfo_options: ["--portfolio-conf", "conf/svcomp26/seq.txt"]
+    required_ubuntu_packages:
+      - libgmp10
+      - libmpfr6
+      - cpp
+      - libc6-dev
+      - libc6-dev-i386
+      - libgcc-13-dev
+      - lib32gcc-13-dev
+      - python3
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
+  - version: "svcomp26-validation-correctness"
+    doi: 10.5281/zenodo.17642247
+    benchexec_toolinfo_options: ["--witness.yaml.unassume", "${witness}", "--witness.yaml.validate", "${witness}", "--portfolio-conf", "conf/svcomp26/seq-validate.txt"]
+    required_ubuntu_packages:
+      - libgmp10
+      - libmpfr6
+      - cpp
+      - libc6-dev
+      - libc6-dev-i386
+      - libgcc-13-dev
+      - lib32gcc-13-dev
+      - python3
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "svcomp25"
     doi: 10.5281/zenodo.14054652
     benchexec_toolinfo_options: ["--conf", "conf/svcomp25.json"]
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - libgmp10
+      - libmpfr6
+      - cpp
+      - libc6-dev
+      - libc6-dev-i386
+      - libgcc-13-dev
+      - lib32gcc-13-dev
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2025
   - version: "svcomp25-validation-correctness"
     doi: 10.5281/zenodo.14054652
     benchexec_toolinfo_options: ["--witness.yaml.unassume", "${witness}", "--witness.yaml.validate", "${witness}", "--conf", "conf/svcomp25-validate.json"]
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - libgmp10
+      - libmpfr6
+      - cpp
+      - libc6-dev
+      - libc6-dev-i386
+      - libgcc-13-dev
+      - lib32gcc-13-dev
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2025
   - version: "svcomp24"
     doi: 10.5281/zenodo.10202867
     benchexec_toolinfo_options: ["--conf", "conf/svcomp24.json"]
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - libgmp10
+      - libmpfr6
+      - cpp
+      - libc6-dev
+      - libc6-dev-i386
+      - libgcc-11-dev
+      - lib32gcc-11-dev
+    base_container_images:
+      - docker.io/ubuntu:22.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
   - version: "svcomp24-validation-correctness"
     doi: 10.5281/zenodo.10202867
     benchexec_toolinfo_options: ["--conf", "conf/svcomp24-validate.json"]
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - libgmp10
+      - libmpfr6
+      - cpp
+      - libc6-dev
+      - libc6-dev-i386
+      - libgcc-11-dev
+      - lib32gcc-11-dev
+    base_container_images:
+      - docker.io/ubuntu:22.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
   - version: "svcomp23"
     url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/goblint.zip"
     benchexec_toolinfo_options: ["--conf", "conf/svcomp23.json"]
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - libgmp10
+      - libmpfr6
+      - cpp
+      - libc6-dev
+      - libc6-dev-i386
+      - libgcc-11-dev
+      - lib32gcc-11-dev
+    base_container_images:
+      - docker.io/ubuntu:22.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2023
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    jury_member:
+      orcid: 0000-0003-4553-1350
+      name: Simmo Saan
+      institution: University of Tartu
+      country: Estonia
+      url: https://sim642.eu/
+    participants: # From Zenodo artifact
+      - orcid: 0000-0003-4553-1350
+        name: Simmo Saan
+      - orcid: 0009-0004-9019-0852
+        name: Ali Rasim Kocal
+      - orcid: 0009-0009-7868-651X
+        name: Michael Petter
+      - orcid: 0009-0008-3725-4131
+        name: Karoliine Holter
+      - orcid: 0000-0002-1729-3925
+        name: Julian Erhard
+      - orcid: 0000-0002-9828-0308
+        name: Michael Schwarz
+      - orcid: 0000-0003-4336-7980
+        name: Vesal Vojdani
+      - orcid: 0000-0002-2135-1593
+        name: Helmut Seidl
+  - competition: "SV-COMP 2026"
+    track: "Validation of Correctness Witnesses v2"
+    tool_version: "svcomp26-validation-correctness"
+    jury_member:
+      orcid: 0000-0003-4553-1350
+      name: Simmo Saan
+      institution: University of Tartu
+      country: Estonia
+      url: https://sim642.eu/
+    participants: # From Zenodo artifact
+      - orcid: 0000-0003-4553-1350
+        name: Simmo Saan
+      - orcid: 0009-0004-9019-0852
+        name: Ali Rasim Kocal
+      - orcid: 0009-0009-7868-651X
+        name: Michael Petter
+      - orcid: 0009-0008-3725-4131
+        name: Karoliine Holter
+      - orcid: 0000-0002-1729-3925
+        name: Julian Erhard
+      - orcid: 0000-0002-9828-0308
+        name: Michael Schwarz
+      - orcid: 0000-0003-4336-7980
+        name: Vesal Vojdani
+      - orcid: 0000-0002-2135-1593
+        name: Helmut Seidl
   - competition: "SV-COMP 2025"
     track: "Verification"
     tool_version: "svcomp25"
@@ -58,8 +202,23 @@ competition_participations:
       institution: University of Tartu
       country: Estonia
       url: https://sim642.eu/
+    participants: # From Zenodo artifact
+      - orcid: 0000-0003-4553-1350
+        name: Simmo Saan
+      - orcid: 0009-0008-3725-4131
+        name: Karoliine Holter
+      - orcid: 0000-0002-1729-3925
+        name: Julian Erhard
+      - orcid: 0000-0002-9828-0308
+        name: Michael Schwarz
+      - orcid: 0009-0009-9644-7475
+        name: Sarah Tilscher
+      - orcid: 0000-0003-4336-7980
+        name: Vesal Vojdani
+      - orcid: 0000-0002-2135-1593
+        name: Helmut Seidl
   - competition: "SV-COMP 2025"
-    track: "Validation of Correctness Witnesses 2.0"
+    track: "Validation of Correctness Witnesses v2"
     tool_version: "svcomp25-validation-correctness"
     jury_member:
       orcid: 0000-0003-4553-1350
@@ -67,6 +226,21 @@ competition_participations:
       institution: University of Tartu
       country: Estonia
       url: https://sim642.eu/
+    participants: # From Zenodo artifact
+      - orcid: 0000-0003-4553-1350
+        name: Simmo Saan
+      - orcid: 0009-0008-3725-4131
+        name: Karoliine Holter
+      - orcid: 0000-0002-1729-3925
+        name: Julian Erhard
+      - orcid: 0000-0002-9828-0308
+        name: Michael Schwarz
+      - orcid: 0009-0009-9644-7475
+        name: Sarah Tilscher
+      - orcid: 0000-0003-4336-7980
+        name: Vesal Vojdani
+      - orcid: 0000-0002-2135-1593
+        name: Helmut Seidl
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
@@ -76,8 +250,25 @@ competition_participations:
       institution: University of Tartu
       country: Estonia
       url: https://sim642.eu/
+    participants: # From tool paper and Zenodo artifact
+      - orcid: 0000-0003-4553-1350
+        name: Simmo Saan
+      - orcid: 0000-0002-1729-3925
+        name: Julian Erhard
+      - orcid: 0000-0002-9828-0308
+        name: Michael Schwarz
+      - orcid: 0009-0002-1361-942X
+        name: Stanimir Bozhilov
+      - orcid: 0009-0008-3725-4131
+        name: Karoliine Holter
+      - orcid: 0009-0009-9644-7475
+        name: Sarah Tilscher
+      - orcid: 0000-0003-4336-7980
+        name: Vesal Vojdani
+      - orcid: 0000-0002-2135-1593
+        name: Helmut Seidl
   - competition: "SV-COMP 2024"
-    track: "Validation of Correctness Witnesses 2.0"
+    track: "Validation of Correctness Witnesses v2"
     tool_version: "svcomp24-validation-correctness"
     jury_member:
       orcid: 0000-0003-4553-1350
@@ -85,6 +276,23 @@ competition_participations:
       institution: University of Tartu
       country: Estonia
       url: https://sim642.eu/
+    participants: # From tool paper and Zenodo artifact
+      - orcid: 0000-0003-4553-1350
+        name: Simmo Saan
+      - orcid: 0000-0002-1729-3925
+        name: Julian Erhard
+      - orcid: 0000-0002-9828-0308
+        name: Michael Schwarz
+      - orcid: 0009-0002-1361-942X
+        name: Stanimir Bozhilov
+      - orcid: 0009-0008-3725-4131
+        name: Karoliine Holter
+      - orcid: 0009-0009-9644-7475
+        name: Sarah Tilscher
+      - orcid: 0000-0003-4336-7980
+        name: Vesal Vojdani
+      - orcid: 0000-0002-2135-1593
+        name: Helmut Seidl
   - competition: "SV-COMP 2023"
     track: "Verification"
     tool_version: "svcomp23"
@@ -94,12 +302,31 @@ competition_participations:
       institution: University of Tartu
       country: Estonia
       url: https://sim642.eu/
+    participants: # From tool paper and Zenodo artifact
+      - orcid: 0000-0003-4553-1350
+        name: Simmo Saan
+      - orcid: 0000-0002-9828-0308
+        name: Michael Schwarz
+      - orcid: 0000-0002-1729-3925
+        name: Julian Erhard
+      - orcid: 0009-0002-7349-4091
+        name: Manuel Pietsch
+      - orcid: 0000-0002-2135-1593
+        name: Helmut Seidl
+      - orcid: 0009-0009-9644-7475
+        name: Sarah Tilscher
+      - orcid: 0000-0003-4336-7980
+        name: Vesal Vojdani
 
 techniques:
-  - Numeric Interval Analysis
+  - Abstract Interpretation
   - Concurrency Support
-  - Algorithm Selection
+  - Explicit-Value Analysis
+  - Numeric Interval Analysis
+  - Bit-Precise Analysis
   - Floating-Point Arithmetics
+  - Algorithm Selection
+  - Portfolio
 
 frameworks_solvers:
   - Apron

fm_weck/resources/fm_tools/goblitch.yml

@@ -0,0 +1,77 @@
+id: goblitch
+name: Goblitch
+description: |
+  Goblitch combines Goblint's abstract interpretation with the Witch validator.
+  It iteratively refines Goblint's precision by generating candidate error paths
+  and using symbolic execution to confirm or refute the paths
+  until a feasible counterexample is found or the search is exhausted.
+input_languages:
+  - C
+project_url: https://github.com/goblint/analyzer
+repository_url: https://github.com/goblint/analyzer
+spdx_license_identifier: MIT
+benchexec_toolinfo_module: benchexec.tools.goblint
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - karoliineh
+
+maintainers:
+  - orcid: 0009-0008-3725-4131
+    name: Karoliine Holter
+    institution: University of Tartu
+    country: Estonia
+    url:
+  - orcid: 0000-0003-1072-8137
+    name: Paulína Ayaziová
+    institution: Masaryk University, Brno
+    country: Czechia
+    url:
+  - orcid: 0000-0003-4553-1350
+    name: Simmo Saan
+    institution: University of Tartu
+    country: Estonia
+    url: https://sim642.eu/
+
+versions:
+  - version: "svcomp26"
+    doi: 10.5281/zenodo.17661717
+    benchexec_toolinfo_options: ["--conf", "conf/svcomp26.json"]
+    required_ubuntu_packages:
+      - libgmp10
+      - libmpfr6
+      - cpp
+      - libc6-dev
+      - libc6-dev-i386
+      - libgcc-13-dev
+      - lib32gcc-13-dev
+      - python3
+      - python3-yaml
+      - llvm-14
+      - clang-14
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
+
+competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    jury_member:
+      orcid: 0009-0008-3725-4131
+      name: Karoliine Holter
+      institution: University of Tartu
+      country: Estonia
+      url:
+
+techniques:
+  - Numeric Interval Analysis
+  - Concurrency Support
+  - Algorithm Selection
+  - Floating-Point Arithmetics
+  - Symbolic Execution
+
+frameworks_solvers:
+  - Apron
+
+literature: []

fm_weck/resources/fm_tools/graves-par.yml

@@ -11,7 +11,8 @@ fmtools_entry_maintainers:
   - mgerrard
 
 maintainers:
-  - name: Hors Concours
+  - orcid: 0000-0000-0000-0000
+    name: Hors Concours
     institution: University of Virginia
     country: USA
     url:
@@ -58,3 +59,5 @@ competition_participations:
 techniques: []
 
 frameworks_solvers: []
+
+literature: []