From 864d0936a1ef64ff84cf8cc3e9b053242f581d75 Mon Sep 17 00:00:00 2001 From: SJulianS Date: Sat, 23 Jan 2021 15:24:33 +0100 Subject: [PATCH] Release v3.2.4 --- CHANGELOG.md | 5 ++++- CURRENT_VERSION | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 5bf0c94c3ce..d929361bfca 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,6 +5,8 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/), and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). ## [Unreleased] + +## [3.2.4] - 2021-01-23 15:30:00+02:00 (urgency: medium) * added plugin `boolean_influence` that enables calculation of the boolean influence for each FF depending on the predecessing FFs * extended the `z3_utils` plugin with a `z3Wrapper` class, which holds exactly one `z3::expr` and the corresponding `z3::context` * removed the code coverage checks from the macOS pipeline and added test command, so the macOS pipeline will work again properly @@ -502,7 +504,8 @@ Note: This is an API breaking release. * Initial Release [//]: # (Hyperlink section) -[Unreleased]: https://github.com/emsec/hal/compare/v3.2.3...HEAD +[Unreleased]: https://github.com/emsec/hal/compare/v3.2.4...HEAD +[3.2.4]: https://github.com/emsec/hal/compare/v3.2.3...v3.2.4 [3.2.3]: https://github.com/emsec/hal/compare/v3.2.2...v3.2.3 [3.2.2]: https://github.com/emsec/hal/compare/v3.1.11...v3.2.2 [3.1.11]: https://github.com/emsec/hal/compare/v3.1.10...v3.1.11 diff --git a/CURRENT_VERSION b/CURRENT_VERSION index b347b11eac8..351227fca34 100644 --- a/CURRENT_VERSION +++ b/CURRENT_VERSION @@ -1 +1 @@ -3.2.3 +3.2.4