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

doc: ltlcross is not only about Büchi anymore

Browse source 
* bin/man/ltlcross.x, doc/org/ltlcross.org, doc/org/tools.org: Fix
one-line summaries.
This commit is contained in:
Alexandre Duret-Lutz 2016-04-21 17:13:13 +02:00
parent e50ff35d0f
commit 9d5d1dc8dd
3 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/org/tools.org
View file

@ -43,7 +43,7 @@ corresponding commands are hidden.
- [[file:genltl.org][=genltl=]] Generate LTL formulas from scalable patterns.
- [[file:ltl2tgba.org][=ltl2tgba=]] Translate LTL/PSL formulas into Büchi automata.
- [[file:ltl2tgta.org][=ltl2tgta=]] Translate LTL/PSL formulas into Testing automata.
- [[file:ltlcross.org][=ltlcross=]] Cross-compare LTL/PSL-to-Büchi translators.
- [[file:ltlcross.org][=ltlcross=]] Cross-compare LTL/PSL-to-automata translators.
- [[file:ltlgrind.org][=ltlgrind=]] List formulas similar to but simpler than a given LTL/PSL
formula
- [[file:dstar2tgba.org][=dstar2tgba=]] Convert automata with any acceptance into variants of