Merge branch 'v3.21'

sosy-lab · Feb 16, 2024 · a0718af · a0718af
2 parents 852b312 + 9e5bf7d
commit a0718af
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 1 deletion.
diff --git 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
@@ -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
@@ -1,3 +1,9 @@
+benchexec (3.21-1) jammy; urgency=medium
+
+  * New upstream version.
+
+ -- Philipp Wendler <[email protected]>  Fri, 16 Feb 2024 13:33:26 +0100
+
 benchexec (3.20-1) jammy; urgency=medium
 
   * New upstream version.