11 Commits

Author	SHA1	Message	Date
Alan Mishchenko	8014f25f6d	Major restructuring of the code.	2012-01-21 04:30:10 -08:00
Alan Mishchenko	c1edeccc60	64-bit portability changes.	2011-09-17 16:24:40 -07:00
Alan Mishchenko	ce38474c74	Improving and updating the abstraction code.	2011-07-29 15:38:44 +07:00
Alan Mishchenko	e4d0f4715a	Added new options to testcex.	2011-04-28 09:56:14 -04:00
Alan Mishchenko	631b50aa59	Commented out debug messages.	2011-04-26 22:56:04 -04:00
Alan Mishchenko	3eae30a3c3	Added support for AIG returned in the output file.	2011-04-24 14:40:36 -07:00
Alan Mishchenko	7bcd5ac979	Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numbers.	2011-04-17 19:11:57 -07:00
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
Alan Mishchenko	ae4b51351c	Cumulative changes in the last few weeks.	2011-01-13 12:38:59 -08:00
Alan Mishchenko	6130e39b18	initial commit of public abc	2010-11-01 01:35:04 -07:00