New CPAchecker version 2.4

3 views
Skip to first unread message

Philipp Wendler

unread,
Jun 28, 2024, 10:17:00 AMJun 28
to CPAchecker Announce, CPAchecker Users
Dear CPAchecker users,

we are happy to announce the release of CPAchecker 2.4,
which brings mostly improvements regarding installation
and the command-line interface of CPAchecker:

- Debian/Ubuntu package now available via APT repository
https://apt.sosy-lab.org
- Container images available on Docker Hub
(https://hub.docker.com/r/sosylab/cpachecker/)
- Executables of CPAchecker renamed to "bin/cpachecker"
- Command-line arguments of CPAchecker were renamed
and now follow the standard style with two dashes (e.g, "--default").

Full backwards compatibility is kept for all changes.
For full details, please check out the release notes at
https://cpachecker.sosy-lab.org/NEWS-2.4.txt

We would like to thank the many people that have contributed to the
development of CPAchecker!
Their full list is here: https://cpachecker.sosy-lab.org/acknow.php

The new release is available at
https://cpachecker.sosy-lab.org/download.php
and (NEW!) as Debian/Ubuntu package on https://apt.sosy-lab.org/.
Our official Docker image is named "sosylab/cpachecker:2.4"
and there is an artifact on Zenodo:
https://doi.org/10.5281/zenodo.12582331

Kind regards
Philipp
--
Philipp Wendler
Software and Computational Systems Lab
LMU Munich, Germany
Oettingenstr. 67 Raum F008 - Tel.: 089/2180-9181
OpenPGP_signature.asc
Reply all
Reply to author
Forward
0 new messages