Alexandre Duret-Lutz b7fbf72461 bin: fix documentation of degeneralization option ... Reported by Jan Strejček. * src/bin/spot-x.cc: Fix documentation. * src/twaalgos/degen.cc, src/twaalgos/degen.hh: Fix comments.		2015-06-16 11:06:32 +02:00
..
bin	bin: fix documentation of degeneralization option	2015-06-16 11:06:32 +02:00
dstarparse	graph: rename num_transitions() as num_edges()	2015-06-11 23:52:02 +02:00
graph	graph: rename num_transitions() as num_edges()	2015-06-11 23:52:02 +02:00
kripke	rename src/tgbaalgos/ as src/twaalgos/	2015-04-22 17:58:06 +02:00
kripkeparse	ltlparse: rename the main functions	2015-06-04 09:26:57 +02:00
ltlast	Remove all cvsignore files.	2015-04-24 13:57:56 +02:00
ltlenv	Remove all cvsignore files.	2015-04-24 13:57:56 +02:00
ltlparse	ltlvisit: rename tostring.hh as print.hh and rename printer functions	2015-06-04 22:56:57 +02:00
ltlvisit	graph: rename num_transitions() as num_edges()	2015-06-11 23:52:02 +02:00
misc	random: fix rounding in barand()	2015-06-01 19:54:51 +02:00
parseaut	graph: rename num_transitions() as num_edges()	2015-06-11 23:52:02 +02:00
priv	rename tgba files as twa	2015-04-22 16:57:22 +02:00
sanity	Remove all cvsignore files.	2015-04-24 13:57:56 +02:00
ta	ltlvisit: rename tostring.hh as print.hh and rename printer functions	2015-06-04 22:56:57 +02:00
taalgos	adjust names for automata printers	2015-06-05 21:42:29 +02:00
tests	ltlcross: skip product that require too much acceptance sets	2015-06-15 23:35:31 +02:00
twa	graph: rename num_transitions() as num_edges()	2015-06-11 23:52:02 +02:00
twaalgos	bin: fix documentation of degeneralization option	2015-06-16 11:06:32 +02:00
.gitignore	more files to ignore	2009-09-02 10:41:18 +02:00
Makefile.am	hoaparse: rename to parseaut	2015-06-11 13:31:13 +02:00