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

org: upgrade to 1.0.2

Browse source 
* doc/org/tools.org: Update to 1.0.2.
* doc/org/ltl2tgba.org: Mention monitors in the intro.
This commit is contained in:
Alexandre Duret-Lutz 2013-03-19 15:24:46 +01:00
parent d1ad744887
commit c24270bbf5
2 changed files with 6 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
doc/org/ltl2tgba.org
View file

@ -4,9 +4,10 @@
#+LINK_UP: file:tools.html #+LINK_UP: file:tools.html
This tool translates LTL or PSL formulas into two kinds of Büchi This tool translates LTL or PSL formulas into two kinds of Büchi
automata. The default is to output Transition-based Generalized Büchi automata, or to monitors. The default is to output Transition-based
Automata (hereinafter abbreviated TGBA), but more traditional Büchi Generalized Büchi Automata (hereinafter abbreviated TGBA), but more
automata (BA) may be requested using the =-B= option. traditional Büchi automata (BA) may be requested using the =-B=
option.
* TGBA and BA * TGBA and BA
@ -200,7 +201,7 @@ ltl2tgba --help | sed -n '/Output format:/,/^$/p' | sed '1d;$d'
: --stats=FORMAT output statistics about the automaton : --stats=FORMAT output statistics about the automaton
The =-8= option can be used to improve the readability of the output Option =-8= can be used to improve the readability of the output
if your system can display UTF-8 correctly. if your system can display UTF-8 correctly.
#+BEGIN_SRC sh :results verbatim :exports code #+BEGIN_SRC sh :results verbatim :exports code

2
doc/org/tools.org
View file

@ -1,4 +1,4 @@
#+TITLE: Command-line tools installed by Spot 1.0.1 #+TITLE: Command-line tools installed by Spot 1.0.2
#+EMAIL spot@lrde.epita.fr #+EMAIL spot@lrde.epita.fr
#+OPTIONS: H:2 num:nil toc:t #+OPTIONS: H:2 num:nil toc:t