New CPAchecker version 4.2.2
0 views
Skip to first unread message
Philipp Wendler
Dec 2, 2025, 4:09:53 AM (4 days ago) Dec 2
to CPAchecker Announce, CPAchecker Users, CPAchecker Developers
Dear CPAchecker users,
we are happy to announce the release of CPAchecker 4.2.2,
a bugfix release that disables the unintended export of witnesses in v2
format in the SV-COMP'26 config for cases where the v2 format is not
defined yet.
The new release is as always available at
https://cpachecker.sosy-lab.org/download.php
and as Debian/Ubuntu package on https://apt.sosy-lab.org/.
Our official Docker image is named "sosylab/cpachecker:4.2.2"
and there is an artifact on Zenodo:
https://doi.org/10.5281/zenodo.17777566
Kind regards
Philipp
--
Philipp Wendler
Software and Computational Systems Lab
LMU Munich, Germany
Oettingenstr. 67 Raum F008 - Tel.: 089/2180-9181
we are happy to announce the release of CPAchecker 4.2.2,
a bugfix release that disables the unintended export of witnesses in v2
format in the SV-COMP'26 config for cases where the v2 format is not
defined yet.
The new release is as always available at
https://cpachecker.sosy-lab.org/download.php
and as Debian/Ubuntu package on https://apt.sosy-lab.org/.
Our official Docker image is named "sosylab/cpachecker:4.2.2"
and there is an artifact on Zenodo:
https://doi.org/10.5281/zenodo.17777566
Kind regards
Philipp
--
Philipp Wendler
Software and Computational Systems Lab
LMU Munich, Germany
Oettingenstr. 67 Raum F008 - Tel.: 089/2180-9181
Reply all
Reply to author
Forward
0 new messages