9 Commits

Author	SHA1	Message	Date
Alan Mishchenko	868a1b9aeb	Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.	2011-10-31 14:59:47 -05:00
Alan Mishchenko	dbe2b466d7	Added handling of exceeding conflict limit in PushClasses.	2011-10-01 08:00:04 +07:00
Alan Mishchenko	820a147ef1	Removed useless typecasts related to changes in Vec_VecEntry().	2011-08-01 12:35:34 +07:00
Alan Mishchenko	6a020d6f69	Added switch to PDR to disable expensive generalization step.	2011-07-13 15:13:08 +07:00
Alan Mishchenko	c4e8593075	Modified the PDR print-out to be compatible with Niklas.	2011-07-12 22:41:44 +07:00
Alan Mishchenko	a28fe0d324	Unsuccessful attempt to improve PDR and a few minor changes.	2011-04-07 13:49:03 -07:00
Alan Mishchenko	4dcf8cee2d	Improvements in Vec_Vec_t.	2011-03-27 11:35:31 -07:00
Alan Mishchenko	e6f8744777	Make PDR return the number of completed frames.	2011-02-03 21:34:46 -08:00
Alan Mishchenko	624af674a0	New code since Dec 2010.	2011-01-13 13:32:18 -08:00