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

* NEWS: Update with recent fixes.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-01-13 15:23:37 +01:00
parent c21e716893
commit 2952daf0ba
2 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2012-01-13 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* NEWS: Update with recent fixes.
2012-01-13 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2012-01-13 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Fix a 'make check' failure when valgrind is not installed. Fix a 'make check' failure when valgrind is not installed.

2
NEWS
View file

@ -7,6 +7,8 @@ New in spot 0.8.1a:
clear whether this could have had an inpact on WDBA minimization clear whether this could have had an inpact on WDBA minimization
(the worse case is that some TGBA would not have been minimized (the worse case is that some TGBA would not have been minimized
when they could). when they could).
- Fix compilation with g++ 4.0.
- Fix a make check failure when valgrind is missing.
New in spot 0.8.1: New in spot 0.8.1: