From 8de1bba5e4df419c8af3d57e8c5694aa479ff9a4 Mon Sep 17 00:00:00 2001 From: Philipp Wendler Date: Sat, 23 Nov 2024 10:12:36 +0100 Subject: [PATCH] Changelog for BenchExec 3.27 --- CHANGELOG.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 039f037ff..2fd8b5f89 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -9,6 +9,11 @@ SPDX-License-Identifier: Apache-2.0 # BenchExec Changelog +## BenchExec 3.27 - 2024-11-22 + +- Support for [version 2.1 of the task-definition format](https://gitlab.com/sosy-lab/benchmarking/task-definition-format/-/tags/2.1). +- Updated tool-info modules for SV-COMP'25 and Test-Comp'25. + ## BenchExec 3.26 - 2024-11-05 This release brings several important fixes for cgroups v2