New CPAchecker version 4.2.1
0 views
Skip to first unread message
Philipp Wendler
Nov 27, 2025, 5:17:35 AM (9 days ago) Nov 27
to CPAchecker Announce, CPAchecker Users, CPAchecker Developers
Dear CPAchecker users,
we are happy to announce the release of CPAchecker 4.2.1,
a bugfix release with three fixes for witness export and import, which
also resolves a regression in version 4.2 when using CPAchecker's
internal counterexample check.
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.1"
and there is an artifact on Zenodo:
https://doi.org/10.5281/zenodo.17732590
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.1,
a bugfix release with three fixes for witness export and import, which
also resolves a regression in version 4.2 when using CPAchecker's
internal counterexample check.
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.1"
and there is an artifact on Zenodo:
https://doi.org/10.5281/zenodo.17732590
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