Commit 5f689b51 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* NEWS: Mention the Kripke I/O.

parent 9c4adf1e
2011-11-28 Alexandre Duret-Lutz <>
* NEWS: Mention the Kripke I/O.
2011-11-27 Alexandre Duret-Lutz <>
Don't flush the stream on each new line, when writing automata.
......@@ -4,6 +4,7 @@ New in spot 0.7.1a:
- Spot can read DiVinE models. See iface/dve2/README for details.
- The genltl tool can now output 20 differents LTL formula families.
It also replaces the LTLcounter Perl scripts.
- There is a printer and parser for Kripke structures in text format.
* Major interface changes:
- The destructor of all states is now private. Any code that looks like
"delete some_state;" will cause an compile error and should be
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment