From 7a90b36f97fd946e9ca1075d785e6ffeabc8d9d0 Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Thu, 14 Sep 2023 16:48:16 +0200 Subject: [PATCH 1/2] Update the changes log for v2.5.1 --- CHANGES.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 4a2dd37a6..6d80d9f4d 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -5,6 +5,11 @@ ### Build * use OCaml 4.08.1 as the minimal supported version (PR #803) +## v2.5.1 + +### Bug fixes +* fix a critical unsoundness bug with bvnot primitive (#819) + ## v2.5.0 ### New features From ebda1ef392f90a39835222078267ba9a2e57c350 Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Thu, 14 Sep 2023 18:37:35 +0200 Subject: [PATCH 2/2] Review changes --- CHANGES.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGES.md b/CHANGES.md index 6d80d9f4d..17a25cace 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -8,7 +8,7 @@ ## v2.5.1 ### Bug fixes -* fix a critical unsoundness bug with bvnot primitive (#819) +* fix a critical soundness bug with bvnot primitive (#819) ## v2.5.0