Skip to content

Release 3.15
Compare
Choose a tag to compare
@PhilippWendler PhilippWendler released this 23 Nov 14:34
· 1154 commits to main since this release
3.15
This tag was signed with the committer’s verified signature.
PhilippWendler Philipp Wendler
GPG key ID: 62C0F78C31A9DE8C
Learn about vigilant mode.
92e42a8
  • Updated installation instructions for Debian.
    Manual installation of the package is needed because dpkg on Debian is incompatible with our PPA on Launchpad.
  • Some improvements to tool-info modules.

This release does not change the minimum supported Python version,
but we would like to remind you that BenchExec will soon stop supporting Python 3.6.

Assets 8
Loading