Alexandre Duret-Lutz e366b081a8 * src/ltlvisit/randomltl.cc, src/ltlvisit/randomltl.hh: New files. ... * src/ltlvisit/Makefile.am (ltlvisit_HEADERS, libltlvisit_la_SOURCES): Distribute them. * src/ltltest/randltl.cc: New file. * src/ltltest/Makefile.am (LDADD): Link with ../libspot.la directly. (noinst_PROGRAMS, randltl_SOURCES): New. (EXTRA_DIST, CLEANFILES): The list of random formulae is now generated. * src/ltltest/formulae.txt: Delete. * src/ltltest/reduc.test: Use randltl to generate formulae. * src/ltlvisit/length.cc (length_visitor): Fix computation of the length of multops. * src/ltlvisit/length.hh (length): Document the length of multops.		2005-01-05 16:20:21 +00:00
..
.cvsignore	* m4/pypath.m4: New file.	2003-04-30 12:35:22 +00:00
apcollect.cc	* src/ltlvisit/apcollect.cc, src/ltlvisit/apcollect.hh: New files,	2004-08-09 16:55:08 +00:00
apcollect.hh	* src/ltlast/atomic_prop.hh, src/ltlast/binop.hh,	2004-11-17 16:23:40 +00:00
basicreduce.cc	* src/sanity/style.test: Diagnose superfluous constructs such	2004-10-29 14:29:02 +00:00
basicreduce.hh	* src/ltlast/atomic_prop.hh, src/ltlast/binop.hh,	2004-11-17 16:23:40 +00:00
clone.cc	* COPYING: New file.	2003-11-21 15:54:25 +00:00
clone.hh	* src/ltlast/atomic_prop.hh, src/ltlast/binop.hh,	2004-11-17 16:23:40 +00:00
destroy.cc	* iface/gspn/gspn.cc, src/ltlvisit/basicreduce.cc,	2004-10-18 13:56:31 +00:00
destroy.hh	* src/ltlast/atomic_prop.hh, src/ltlast/binop.hh,	2004-11-17 16:23:40 +00:00
dotty.cc	* iface/gspn/gspn.cc, src/ltlvisit/basicreduce.cc,	2004-10-18 13:56:31 +00:00
dotty.hh	* src/ltlast/atomic_prop.hh, src/ltlast/binop.hh,	2004-11-17 16:23:40 +00:00
dump.cc	* iface/gspn/gspn.cc, src/ltlvisit/basicreduce.cc,	2004-10-18 13:56:31 +00:00
dump.hh	* src/ltlast/atomic_prop.hh, src/ltlast/binop.hh,	2004-11-17 16:23:40 +00:00
length.cc	* src/ltlvisit/randomltl.cc, src/ltlvisit/randomltl.hh: New files.	2005-01-05 16:20:21 +00:00
length.hh	* src/ltlvisit/randomltl.cc, src/ltlvisit/randomltl.hh: New files.	2005-01-05 16:20:21 +00:00
lunabbrev.cc	* src/ltlvisit/simpfg.cc, src/ltlvisit/simpfg.hh: New files,	2004-06-23 08:09:19 +00:00
lunabbrev.hh	* src/ltlast/atomic_prop.hh, src/ltlast/binop.hh,	2004-11-17 16:23:40 +00:00
Makefile.am	* src/ltlvisit/randomltl.cc, src/ltlvisit/randomltl.hh: New files.	2005-01-05 16:20:21 +00:00
nenoform.cc	* iface/gspn/gspn.cc, src/ltlvisit/basicreduce.cc,	2004-10-18 13:56:31 +00:00
nenoform.hh	* src/ltlast/atomic_prop.hh, src/ltlast/binop.hh,	2004-11-17 16:23:40 +00:00
postfix.cc	* COPYING: New file.	2003-11-21 15:54:25 +00:00
postfix.hh	* src/ltlast/atomic_prop.hh, src/ltlast/binop.hh,	2004-11-17 16:23:40 +00:00
randomltl.cc	* src/ltlvisit/randomltl.cc, src/ltlvisit/randomltl.hh: New files.	2005-01-05 16:20:21 +00:00
randomltl.hh	* src/ltlvisit/randomltl.cc, src/ltlvisit/randomltl.hh: New files.	2005-01-05 16:20:21 +00:00
reduce.cc	* iface/gspn/gspn.cc, src/ltlvisit/basicreduce.cc,	2004-10-18 13:56:31 +00:00
reduce.hh	* src/ltlast/atomic_prop.hh, src/ltlast/binop.hh,	2004-11-17 16:23:40 +00:00
simpfg.cc	* src/ltlvisit/simpfg.cc, src/ltlvisit/simpfg.hh: New files,	2004-06-23 08:09:19 +00:00
simpfg.hh	* src/ltlast/atomic_prop.hh, src/ltlast/binop.hh,	2004-11-17 16:23:40 +00:00
syntimpl.cc	* iface/gspn/gspn.cc, src/ltlvisit/basicreduce.cc,	2004-10-18 13:56:31 +00:00
syntimpl.hh	* src/ltlast/atomic_prop.hh, src/ltlast/binop.hh,	2004-11-17 16:23:40 +00:00
tostring.cc	* src/ltlvisit/tostring.cc (to_spin_string_visitor): Move to	2004-10-22 12:29:13 +00:00
tostring.hh	* src/ltlast/atomic_prop.hh, src/ltlast/binop.hh,	2004-11-17 16:23:40 +00:00
tunabbrev.cc	* COPYING: New file.	2003-11-21 15:54:25 +00:00
tunabbrev.hh	* src/ltlast/atomic_prop.hh, src/ltlast/binop.hh,	2004-11-17 16:23:40 +00:00