fm-weck 1.3.0__py3-none-any.whl → 1.4.1__py3-none-any.whl

fm_weck/resources/fm_tools/coastal.yml

@@ -23,8 +23,18 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp20"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp20"
     jury_member:
       name: Hors Concours
@@ -33,6 +43,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp20"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/concurrentwitness2test.yml

@@ -10,13 +10,23 @@ fmtools_entry_maintainers:
   - levente.bajczi
 
 maintainers:
-  - orcid: 0000-0002-6551-5860
-    name: Levente Bajczi
+  - name: Levente Bajczi
+    orcid: 0000-0002-6551-5860
     institution: Budapest University of Technology and Economics
     country: Hungary
     url: http://mit.bme.hu/~bajczi
+  - name: Zsófia Ádám
+    orcid: 0000-0003-2354-1750
+    institution: Budapest University of Technology and Economics
+    country: Hungary
+    url: http://mit.bme.hu/~adamzsofi
 
 versions:
+  - version: "svcomp25"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - python3
+    doi: 10.5281/zenodo.14063728
   - version: "svcomp24"
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
@@ -25,6 +35,15 @@ versions:
 
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 1.0"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0003-2354-1750
+      name: Zsófia Ádám
+      institution: Budapest University of Technology and Economics
+      country: Hungary
+      url: http://mit.bme.hu/~adamzsofi
   - competition: "SV-COMP 2024"
     track: "Validation of Violation Witnesses 1.0"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/cooperace.yml

@@ -0,0 +1,51 @@
+name: CoOpeRace
+input_languages:
+  - C
+project_url: https://github.com/sws-lab/cooperace
+repository_url: https://github.com/sws-lab/cooperace
+spdx_license_identifier: MIT
+benchexec_toolinfo_module: cooperace.py
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - vesal.vojdani
+
+maintainers:
+  - orcid: 0009-0009-1203-923X
+    name: Chris Matsiselts
+    institution: University of Tartu
+    country: Estonia
+    url: null
+  - orcid: 0000-0003-4336-7980
+    name: Vesal Vojdani
+    institution: University of Tartu
+    country: Estonia
+    url: null
+
+versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.13958298
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - clang-14
+      - llvm-14
+
+competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0003-4336-7980
+      name: Vesal Vojdani
+      institution: University of Tartu
+      country: Estonia
+      url: null
+
+techniques:
+  - Concurrency Support
+  - Algorithm Selection
+  - Portfolio
+
+frameworks_solvers: []
+
+literature: []

fm_weck/resources/fm_tools/coveriteam-verifier-algo-selection.yml

@@ -35,10 +35,22 @@ versions:
       - python3-lxml
       - gcc
       - libc6-dev-i386
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
@@ -47,6 +59,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/coveriteam-verifier-parallel-portfolio.yml

@@ -35,10 +35,22 @@ versions:
       - python3-lxml
       - gcc
       - libc6-dev-i386
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
@@ -47,6 +59,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/coveritest.yml

@@ -17,6 +17,11 @@ maintainers:
     url: https://www.sosy-lab.org/people/jakobs/
 
 versions:
+  - version: "testcomp25"
+    doi: 10.5281/zenodo.13952266
+    benchexec_toolinfo_options: ['--benchmark', '--heap', '10000M', '--testcomp25', "--option", "log.consoleLevel=SEVERE"]
+    required_ubuntu_packages:
+      - openjdk-17-jre-headless 
   - version: "testcomp24"
     doi: 10.5281/zenodo.10066216
     benchexec_toolinfo_options: ['-benchmark', '-heap', '10000M', '-testcomp24', "-setprop", "log.consoleLevel=SEVERE"]
@@ -29,6 +34,15 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "testcomp25"
+    jury_member:
+      orcid: 0000-0002-5890-4673
+      name: Marie-Christine Jakobs
+      institution: LMU Munich
+      country: Germany
+      url: null 
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"

fm_weck/resources/fm_tools/cpa-bam-bnb.yml

@@ -24,8 +24,18 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
@@ -34,6 +44,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/cpa-bam-smg.yml

@@ -23,8 +23,18 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp22"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp22"
     jury_member:
       name: Hors Concours
@@ -33,6 +43,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp22"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/cpa-lockator.yml

@@ -24,8 +24,18 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp21"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp21"
     jury_member:
       name: Hors Concours
@@ -34,6 +44,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp21"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/cpa-witness2test.yml

@@ -41,6 +41,15 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 1.0"
+    hors-concours: true
+    tool_version: "2.3"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Validation of Violation Witnesses 1.0"
     tool_version: "2.3"

fm_weck/resources/fm_tools/cpachecker.yml

@@ -14,6 +14,7 @@ fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - dbeyer
   - ricffb
+  - PhilippWendler
 
 maintainers:
   - orcid: 0000-0003-4832-7662
@@ -25,9 +26,30 @@ maintainers:
     name: Philipp Wendler
     institution: LMU Munich
     country: Germany
-    url: https://www.sosy-lab.org/people/pwendler/
+    url: https://www.sosy-lab.org/people/wendler/
 
 versions:
+  - version: "3.1-svn-0a5c0e8a85"
+    doi: 10.5281/zenodo.14169834
+    benchexec_toolinfo_options: ["--svcomp25", "--heap", "10000M", "--benchmark", "--timelimit", "900 s"]
+    required_ubuntu_packages:
+      - openjdk-17-jdk-headless
+    base_container_images:
+      - docker.io/ubuntu:22.04
+  - version: "3.1-svn-0a5c0e8a85-validation-correctness"
+    doi: 10.5281/zenodo.14169834
+    benchexec_toolinfo_options: ["--correctness-witness-validation", "--heap", "5000m", "--benchmark", "--option", "witness.checkProgramHash=false", "--option", "cpa.predicate.memoryAllocationsAlwaysSucceed=true"]
+    required_ubuntu_packages:
+      - openjdk-17-jdk-headless
+    base_container_images:
+      - docker.io/ubuntu:22.04
+  - version: "3.1-svn-0a5c0e8a85-validation-violation"
+    doi: 10.5281/zenodo.14169834
+    benchexec_toolinfo_options: ["--violation-witness-validation", "--heap", "5000m", "--benchmark", "--option", "witness.checkProgramHash=false", "--option", "cpa.predicate.memoryAllocationsAlwaysSucceed=true", "--option", "cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc", "--option", "cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc", "--option", "cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc", "--option", "cpa.smg.deallocationFunctions=free,kfree,kfree_const"]
+    required_ubuntu_packages:
+      - openjdk-17-jdk-headless
+    base_container_images:
+      - docker.io/ubuntu:22.04
   - version: "2.3.1"
     doi: 10.5281/zenodo.11074229
     benchexec_toolinfo_options: ["-svcomp24", "-heap", "10000M", "-benchmark", "-timelimit", "900 s"]
@@ -81,6 +103,51 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "3.1-svn-0a5c0e8a85"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+  - competition: "SV-COMP 2025"
+    track: "Validation of Correctness Witnesses 1.0"
+    tool_version: "3.1-svn-0a5c0e8a85-validation-correctness"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+  - competition: "SV-COMP 2025"
+    track: "Validation of Correctness Witnesses 2.0"
+    tool_version: "3.1-svn-0a5c0e8a85-validation-correctness"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 1.0"
+    tool_version: "3.1-svn-0a5c0e8a85-validation-violation"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 2.0"
+    tool_version: "3.1-svn-0a5c0e8a85-validation-violation"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "2.3"

fm_weck/resources/fm_tools/cpv.yml

@@ -23,7 +23,13 @@ maintainers:
     url: https://www.sosy-lab.org/people/lee/
 
 versions:
-  - version: "svcomp24"
+  - version: "0.5.1"
+    doi: 10.5281/zenodo.14034969
+    benchexec_toolinfo_options: ["--svcomp", "--no-cache-update"]
+    required_ubuntu_packages:
+      - python3-lxml
+      - python3-bitstring
+  - version: "0.4"
     doi: 10.5281/zenodo.10203472
     benchexec_toolinfo_options: ["--svcomp", "--no-cache-update"]
     required_ubuntu_packages:
@@ -31,9 +37,17 @@ versions:
       - python3-bitstring
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "0.5.1"
+    jury_member:
+      name: Po-Chun Chien
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/chien/
   - competition: "SV-COMP 2024"
     track: "Verification"
-    tool_version: "svcomp24"
+    tool_version: "0.4"
     jury_member:
       name: Po-Chun Chien
       institution: LMU Munich
@@ -41,6 +55,7 @@ competition_participations:
       url: https://www.sosy-lab.org/people/chien/
 
 techniques:
+  - Algorithm Selection
   - Bit-Precise Analysis
   - Bounded Model Checking
   - CEGAR

fm_weck/resources/fm_tools/crux.yml

@@ -23,8 +23,18 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
@@ -33,6 +43,7 @@ competition_participations:
       url: https://ryanglscott.github.io/
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/cseq.yml

@@ -22,8 +22,18 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp22"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp22"
     jury_member:
       name: Hors Concours
@@ -32,6 +42,7 @@ competition_participations:
       url: https://github.com/Emersonwds
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp22"
     jury_member:
       name: Hors Concours
@@ -48,10 +59,6 @@ frameworks_solvers:
   - CProver
   - MiniSAT
 
-frameworks_solvers:
-  - CProver
-  - MiniSAT
-
 used_actors:
   - actor_type: "Specification Transformer"
     description: |

fm_weck/resources/fm_tools/dartagnan.yml

@@ -17,6 +17,12 @@ maintainers:
     url: https://hernanponcedeleon.github.io
 
 versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.14079770
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - clang-14
+      - llvm-14
   - version: "svcomp24"
     doi: 10.5281/zenodo.10161362
     benchexec_toolinfo_options: []
@@ -31,6 +37,22 @@ versions:
       - llvm-11
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      name: Hernán Ponce de León
+      institution: Huawei Dresden Research Center
+      country: Germany
+      url: https://hernanponcedeleon.github.io
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 1.0"
+    tool_version: "svcomp25"
+    jury_member:
+      name: Hernán Ponce de León
+      institution: Huawei Dresden Research Center
+      country: Germany
+      url: https://hernanponcedeleon.github.io
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/deagle.yml

@@ -10,12 +10,22 @@ fmtools_entry_maintainers:
   - Misasasa
 
 maintainers:
-  - name: Fei He
+  - orcid: 0000-0002-4266-875X
+    name: Fei He
     institution: Tsinghua University
     country: China
     url: https://feihe.github.io/
+  - orcid: 0000-0002-3787-0144
+    name: Zhihang Sun
+    institution: Tsinghua University
+    country: China
+    url: https://thufv.github.io/team/
 
 versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.14169280
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
   - version: "svcomp24"
     doi: 10.5281/zenodo.10207348
     benchexec_toolinfo_options: []
@@ -26,10 +36,20 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0002-4266-875X
+      name: Fei He
+      institution: Tsinghua University
+      country: China
+      url: https://feihe.github.io/
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
     jury_member:
+      orcid: 0000-0002-4266-875X
       name: Fei He
       institution: Tsinghua University
       country: China
@@ -38,6 +58,7 @@ competition_participations:
     track: "Verification"
     tool_version: "svcomp23"
     jury_member:
+      orcid: 0000-0002-4266-875X
       name: Fei He
       institution: Tsinghua University
       country: China
@@ -49,3 +70,8 @@ techniques:
 
 frameworks_solvers:
   - MiniSAT
+
+literature:
+  - doi: 10.1007/978-3-030-99527-0_25
+    title: "Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution)"
+    year: 2022

fm_weck/resources/fm_tools/divine.yml

@@ -22,8 +22,18 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp22"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp22"
     jury_member:
       name: Hors Concours
@@ -32,6 +42,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp22"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/ebf.yml

@@ -26,6 +26,15 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"