3 commits

Author	SHA1	Message	Date
Denis Poitrenaud	661dee8633	* src/misc/optionmap.cc, src/misc/optionmap.hh (option_map): New class. ... * src/misc/Makefile.am: Add it. * src/tgbaalgos/emptiness.cc, src/tgbaalgos/emptiness.hh: Add option facilities to the classes emptiness_check and emptiness_result * src/tgbaalgos/magic.cc, src/tgbaalgos/magic.hh, src/tgbaalgos/se05.cc, src/tgbaalgos/se05.hh: Compute optionnaly accepting runs from stack. * src/tgbatest/randtgba.cc: Make this option public.	2005-02-07 15:18:41 +00:00
Alexandre Duret-Lutz	b4065d9083	* INSTALL, lbtt/INSTALL: New upstream version.	2004-09-20 15:05:44 +00:00
Alexandre Duret-Lutz	3d129932a8	* INSTALL: New file.	2003-06-26 15:23:33 +00:00