From 69d9b78a554637f447987162462fa20354dd5c2f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 31 Jul 2023 21:11:39 +0200 Subject: [PATCH] mention the bug fixed in BuDDy * NEWS: Explain the bug fixed in previous patch and reported in issue #535. * THANKS: Add Guillermo. --- NEWS | 5 +++++ THANKS | 1 + 2 files changed, 6 insertions(+) diff --git a/NEWS b/NEWS index 58cbcb28c..dd4431071 100644 --- a/NEWS +++ b/NEWS @@ -41,6 +41,11 @@ New in spot 2.11.5.dev (not yet released) - Using "randltl -S" did not correctly go through the SERE printer functions. + - Our copy of BuDDy's bdd_forall() had a 20 year old typo that + caused cache entries from bdd_exist() and bdd_forall() to be + mixed. Spot was safe from this bug because it was only using + bdd_exist(). (Issue #535) + New in spot 2.11.5 (2023-04-20) Bug fixes: diff --git a/THANKS b/THANKS index 93155f9d1..7986c3875 100644 --- a/THANKS +++ b/THANKS @@ -21,6 +21,7 @@ Felix Klaedtke Florian Perlié-Long František Blahoudek Gerard J. Holzmann +Guillermo A. Perez Hashim Ali Heikki Tauriainen Henrich Lauko