7 Commits

Author	SHA1	Message	Date
Alan Mishchenko	19c25fd6aa	Adding a wrapper around clock() for more accurate time counting in ABC.	2013-05-27 15:09:23 -07:00
Alan Mishchenko	71bdfae941	Replacing 'st_table' by 'st__table' to resolve linker problems.	2012-09-29 17:11:03 -04:00
Alan Mishchenko	3aab724573	Fixing time primtouts throughout the code.	2012-07-07 17:46:54 -07:00
Alan Mishchenko	8014f25f6d	Major restructuring of the code.	2012-01-21 04:30:10 -08:00
Alan Mishchenko	5b75410a5e	Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.	2011-10-31 15:04:47 -05:00
Alan Mishchenko	53217cdc8b	Yet another update to the runtime control in BDD operations.	2011-02-07 20:37:53 -08:00
Alan Mishchenko	21bb515b3c	Added handling runtime limit inside And and AndExist.	2011-02-07 15:58:29 -08:00