Alexandre Duret-Lutz 372d490712 * iface/gspn/Makefile.am (TESTS): Add dcswaveltl.test. ... (ltlgspn_rg_LDADD, ltlgspn_srg_LDADD, ltlgspn_rg_SOURCES) (ltlgspn_srg_SOURCES): New variables. (check_PROGRAMS): Add ltlgspn-rg and ltlgspn-srg. * iface/gspn/Makefile.am (gspn_HEADERS, gspndir): Install gspn.hh.		2003-07-30 12:44:50 +00:00
..
ltlast	* src/tgbaparse/tgbaparse.yy (lines): Expect at last one line.	2003-06-30 16:47:56 +00:00
ltlenv	Fix errors reported by ICC.	2003-06-28 10:10:25 +00:00
ltlparse	* src/ltlparse/ltlscan.ll: Allow /, /, and xor, used in LBTT.	2003-07-29 16:28:38 +00:00
ltltest	* src/ltlparse/ltlscan.ll: Allow /, /, and xor, used in LBTT.	2003-07-29 16:28:38 +00:00
ltlvisit	* src/ltlvisit/dump.cc: Strip useless spot::ltl:: prefixes.	2003-07-08 08:08:12 +00:00
misc	* src/tgbaalgos/lbtt.cc (bdd_less_than): Move ...	2003-07-25 14:32:50 +00:00
tgba	* iface/gspn/Makefile.am (TESTS): Add dcswaveltl.test.	2003-07-30 12:44:50 +00:00
tgbaalgos	* iface/gspn/Makefile.am (TESTS): Add dcswaveltl.test.	2003-07-30 12:44:50 +00:00
tgbaparse	Before this change, all automata would construct their own	2003-07-14 21:42:59 +00:00
tgbatest	* src/tgbaalgos/lbtt.cc: Typos.	2003-07-29 16:15:19 +00:00
.cvsignore	* src/ltlvisit/Makefile.am (lib_LTLIBRARIES): Rename as ...	2003-04-30 12:46:12 +00:00
Makefile.am	Before this change, all automata would construct their own	2003-07-14 21:42:59 +00:00