10 Commits

Author	SHA1	Message	Date
Alan Mishchenko	71cbf17e7f	Unified the use of counter-examples in three packages.	2011-02-13 17:46:48 -08:00
Baruch Sterin	b538a5fad0	1. Replace system() with a function that responds to SIGINT. 2. Add functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling.	2011-02-01 11:13:53 -08:00
Baruch Sterin	093774c1b8	fixed compilation in linux	2010-11-01 02:06:26 -07:00
Alan Mishchenko	6130e39b18	initial commit of public abc	2010-11-01 01:35:04 -07:00
Alan Mishchenko	0c6505a26a	Version abc80130_2	2008-01-30 20:01:00 -08:00
Alan Mishchenko	4d30a1e4f1	Version abc80130	2008-01-30 08:01:00 -08:00
Alan Mishchenko	4812c90424	Version abc71001	2007-10-01 08:01:00 -07:00
Alan Mishchenko	e54d969161	Version abc70930	2007-09-30 08:01:00 -07:00
Alan Mishchenko	8eef7f8326	Version abc60220	2006-02-20 08:01:00 -08:00
Alan Mishchenko	888e5bed5d	Version abc50729	2005-07-29 08:01:00 -07:00