Alexandre Duret-Lutz cc0ca4ae54 This is something Soheib and I worked on back in July, but a ... intricate memory corruption bug prevented me to check the patch in. It took me two days to realize why find_state() must do a double loop over the candidates to check for equality before checking for inclusion(s). * iface/gspn/ltlgspn.cc: New options, -e45 and -n. * iface/gspn/ssp.cc, iface/gspn/ssp.hh: Handle these. * src/tgbaalgos/gtec/gtec.cc (TRACE): Add some debugging traces. (couvreur99_check_shy::dump_queue): New function. * src/tgbaalgos/gtec/gtec.hh (couvreur99_check_shy::dump_queue): New function.		2008-02-25 14:37:55 +01:00
..
gspn	This is something Soheib and I worked on back in July, but a	2008-02-25 14:37:55 +01:00
.cvsignore	more files to ignore	2003-07-15 11:51:32 +00:00
Makefile.am	* COPYING: New file.	2003-11-21 15:54:25 +00:00