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

* NEWS: Document recent bug fixes.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-11-28 17:53:43 +01:00
parent 64484e7816
commit 41265cd94f
1 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

10
NEWS
View file

@ -1,6 +1,14 @@
New in spot 1.0a (not released): New in spot 1.0a (not released):
Nothing yet. * Bug fixes:
- Two executions of the simulation reductions could produce
two isomorphic automata, but with transitions in a different
order.
- ltlcross did not diagnose write errors to temporary files,
and certain versions of g++ would warn about it.
- "P0.init" is parsed as an atomic even without the double quotes,
but it was always output with double quotes. This version will
not quote this atomic proposition anymore.
New in spot 1.0 (2012-10-27): New in spot 1.0 (2012-10-27):