alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

mention the bug fixed in BuDDy

Browse source 
* NEWS: Explain the bug fixed in previous patch and reported in
issue #535.
* THANKS: Add Guillermo.
This commit is contained in:
Alexandre Duret-Lutz 2023-07-31 21:11:39 +02:00
parent d58b7da562
commit 69d9b78a55
2 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
NEWS
View file

@ -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 - Using "randltl -S" did not correctly go through the SERE printer
functions. 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) New in spot 2.11.5 (2023-04-20)
Bug fixes: Bug fixes:

1
THANKS
View file

@ -21,6 +21,7 @@ Felix Klaedtke
Florian Perlié-Long Florian Perlié-Long
František Blahoudek František Blahoudek
Gerard J. Holzmann Gerard J. Holzmann
Guillermo A. Perez
Hashim Ali Hashim Ali
Heikki Tauriainen Heikki Tauriainen
Henrich Lauko Henrich Lauko