Skip to content

Release 3.23
Compare
Choose a tag to compare
@PhilippWendler PhilippWendler released this 28 Jun 11:20
· 417 commits to main since this release
3.23
This tag was signed with the committer’s verified signature.
PhilippWendler Philipp Wendler
GPG key ID: 62C0F78C31A9DE8C
Learn about vigilant mode.
be4309e

As announced previously, this release works only on Python 3.8 and newer!

  • Fix a potential crash for CPAchecker when using /usr/bin/cpachecker.
Assets 8
Loading