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

Release Spot 2.1.1

Browse source 
* NEWS, configure.ac, doc/org/setup.org: Bump version number.
This commit is contained in:
Alexandre Duret-Lutz 2016-09-20 08:54:56 +02:00
parent d618495440
commit fd6614181b
3 changed files with 9 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

6
NEWS
View file

@ -1,11 +1,11 @@
New in spot 2.1.0a (not yet released)
New in spot 2.1.1 (2016-09-20)
Command-line tools:
* ltlfilt, randltl, genltl, and ltlgrind learned to display the size
(%s), Boolean size (%b), and number of atomic propositions (%a)
with the --format and --output options. A typical use is to sort
formulas by size:
with the --format and --output options. A typical use-case is to
sort formulas by size:
genltl --dac --format='%s,%f' | sort -n | cut -d, -f2
or to group formulas by number of atomic propositions:
genltl --dac --output='ap-%a.ltl'