New CPAchecker version 4.1

[Philipp Wendler]

Dear CPAchecker users,

we are happy to announce the release of CPAchecker 4.1!

The major improvement in this release is a rewrite of our internal float
handling that is more precise and now in pure Java without native
dependencies, making it possible to run many configurations of
CPAchecker on all platforms.
The LLVM frontend of CPAchecker is now disabled.

Please also note that this is the last CPAchecker version
that will run on Java 17.
The next CPAchecker release will run only on Java 21 or later,
and the development version will require Java 21 soon.

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 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.1"
and there is an artifact on Zenodo:
https://doi.org/10.5281/zenodo.16682497

Kind regards
Philipp
--
Philipp Wendler
Software and Computational Systems Lab
LMU Munich, Germany
Oettingenstr. 67 Raum F008 - Tel.: 089/2180-9181