Skip to content

Commit 864d093

Browse files
committed
Release v3.2.4
1 parent 2dc3428 commit 864d093

File tree

2 files changed

+5
-2
lines changed

2 files changed

+5
-2
lines changed

CHANGELOG.md

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,8 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
55
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
66

77
## [Unreleased]
8+
9+
## [3.2.4] - 2021-01-23 15:30:00+02:00 (urgency: medium)
810
* added plugin `boolean_influence` that enables calculation of the boolean influence for each FF depending on the predecessing FFs
911
* extended the `z3_utils` plugin with a `z3Wrapper` class, which holds exactly one `z3::expr` and the corresponding `z3::context`
1012
* 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.
502504
* Initial Release
503505

504506
[//]: # (Hyperlink section)
505-
[Unreleased]: https://github.com/emsec/hal/compare/v3.2.3...HEAD
507+
[Unreleased]: https://github.com/emsec/hal/compare/v3.2.4...HEAD
508+
[3.2.4]: https://github.com/emsec/hal/compare/v3.2.3...v3.2.4
506509
[3.2.3]: https://github.com/emsec/hal/compare/v3.2.2...v3.2.3
507510
[3.2.2]: https://github.com/emsec/hal/compare/v3.1.11...v3.2.2
508511
[3.1.11]: https://github.com/emsec/hal/compare/v3.1.10...v3.1.11

CURRENT_VERSION

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
3.2.3
1+
3.2.4

0 commit comments

Comments
 (0)