alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/src
History
Alexandre Duret-Lutz 79ef47dbf1 * src/ltlvisit/apcollect.cc, src/ltlvisit/apcollect.hh: New files, 
based on code from <Denis.Poitrenaud@lip6.fr>.
* src/ltlvisit/Makefile.am (libltlvisit_la_SOURCES, ltlvisit_HEADERS):
Add them.
2004-08-09 16:55:08 +00:00
..
ltlast * iface/gspn/common.cc, iface/gspn/common.hh, 2004-08-09 16:32:25 +00:00
ltlenv * iface/gspn/common.cc, iface/gspn/common.hh: Remove the 2004-06-02 16:21:49 +00:00
ltlparse * iface/gspn/common.cc, iface/gspn/common.hh, 2004-08-09 16:32:25 +00:00
ltltest * src/ltltest/reduc.test: Use test a = b' not test a == b'. 2004-07-22 13:53:51 +00:00
ltlvisit * src/ltlvisit/apcollect.cc, src/ltlvisit/apcollect.hh: New files, 2004-08-09 16:55:08 +00:00
misc * iface/gspn/common.cc, iface/gspn/common.hh, 2004-08-09 16:32:25 +00:00
sanity * iface/gspn/common.cc, iface/gspn/common.hh, 2004-08-09 16:32:25 +00:00
tgba * iface/gspn/common.cc, iface/gspn/common.hh, 2004-08-09 16:32:25 +00:00
tgbaalgos * iface/gspn/common.cc, iface/gspn/common.hh, 2004-08-09 16:32:25 +00:00
tgbaparse * iface/gspn/common.cc, iface/gspn/common.hh, 2004-08-09 16:32:25 +00:00
tgbatest * src/tgbatest/explicit.test: Do not use `-i', it's not needed 2004-07-22 14:26:51 +00:00
.cvsignore * src/ltlvisit/Makefile.am (lib_LTLIBRARIES): Rename as ... 2003-04-30 12:46:12 +00:00
Makefile.am * configure.ac: Call AC_LIBTOOL_WIN32_DLL 2004-07-23 09:08:45 +00:00