diff --git a/CHANGELOG.md b/CHANGELOG.md index 5cb77ea8c..0059f4d7a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -9,6 +9,16 @@ SPDX-License-Identifier: Apache-2.0 # BenchExec Changelog +## BenchExec 3.21 + +- `table-generator` computes scores according to SV-COMP'24 scoring scheme. + This changes only the scoring for witness-validation results. +- Support for property files at HTTP(S) URLs in `table-generator`. + Tables can already be produced not only from local result files, + but also from files that are downloaded on the fly. + Now this also works for results with property files. +- Fix for tool-info module `witnesslint`. + ## BenchExec 3.20 - Two tool-info modules improved. diff --git a/benchexec/__init__.py b/benchexec/__init__.py index 814096769..2cd0b1d83 100644 --- a/benchexec/__init__.py +++ b/benchexec/__init__.py @@ -34,7 +34,7 @@ Variables ending with "tag" contain references to XML tag objects created by the XML parser. """ -__version__ = "3.21-dev" +__version__ = "3.22-dev" class BenchExecException(Exception): # noqa: N818 backwards compatibility diff --git a/debian/changelog b/debian/changelog index 893791bc1..ddeadd9a4 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +benchexec (3.21-1) jammy; urgency=medium + + * New upstream version. + + -- Philipp Wendler Fri, 16 Feb 2024 13:33:26 +0100 + benchexec (3.20-1) jammy; urgency=medium * New upstream version.