9 Commits

Author	SHA1	Message	Date
Alan Mishchenko	791b107e7a	Silencing some of the gcc warnings.	2012-02-16 21:53:16 -08:00
Alan Mishchenko	8014f25f6d	Major restructuring of the code.	2012-01-21 04:30:10 -08:00
Alan Mishchenko	39839c3feb	Updated read_status/write_status to correctly handle the case of seq cex without regs.	2011-02-27 20:57:27 -08:00
Alan Mishchenko	06ae1644b2	Fixing the problem with writing/reading bug-free depth in status files.	2011-02-17 09:18:07 -08:00
Alan Mishchenko	71cbf17e7f	Unified the use of counter-examples in three packages.	2011-02-13 17:46:48 -08:00
Alan Mishchenko	bef084bd9b	Bug fix in setting the number of finished frames when reading a status file.	2011-02-11 13:57:57 -08:00
Alan Mishchenko	82e9de9000	Eneabled writing/reading pAbc->nFrames into/from status files.	2011-02-04 00:07:21 -08:00
Alan Mishchenko	584643747c	Fix for write_status/read_status to use PO index	2010-11-29 01:08:18 -08:00
Alan Mishchenko	6130e39b18	initial commit of public abc	2010-11-01 01:35:04 -07:00