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

* NEWS: Summarize recent changes.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-09-07 14:55:26 +02:00
parent 2d1460a2bd
commit 45e93ea16c
1 changed files with 15 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

15
NEWS
View file

@ -35,6 +35,21 @@ New in spot 0.9.2a:
minimization it cases it would produce a deterministic automaton minimization it cases it would produce a deterministic automaton
that is bigger than the original TGBA. So this effectively that is bigger than the original TGBA. So this effectively
gives the choice between less states or more determinism. gives the choice between less states or more determinism.
* Useful command-line tools are now installed in addition
to the library. Some of these tools were originally written
for our test suite and had evolved organically into useful
programs with crapy interface: they have now been rewritten
with better argument parsing, saner defaults, and come with
man pages.
- genltl: generate LTL formulas from scallable patterns
This offers 20 patterns so far.
- randltl: generate random LTL/PSL formulas
- ltlfilt: filter lists of formulas according to several criteria
(e.g., match only safety formulas that are larger than
some given size). Besides being used as a "grep" tool
for formulas, this can also be used to convert
files of formulas between different syntaxes, and apply
some simplifications.
New in spot 0.9.2 (2012-07-02): New in spot 0.9.2 (2012-07-02):