| .. |
|
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/ltl2tgba.cc (main): Fix another gcc warning in case
|
2004-08-10 16:01:14 +00:00 |
|
.cvsignore
|
* src/ltlvisit/Makefile.am (lib_LTLIBRARIES): Rename as ...
|
2003-04-30 12:46:12 +00:00 |
|
Makefile.am
|
* src/Makefile.am (nodist_EXTRA_libspot_la_SOURCES): New variable,
|
2004-08-10 15:52:21 +00:00 |
