iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding switch 'pdr -i' to start push_clauses from an intermediate timeframe.	Alan Mishchenko	2013-10-15	1	-0/+1
*	Adding switch to enable reuse of proof-obligations in the last timeframe.	Alan Mishchenko	2013-09-16	1	-0/+1
*	Added bridge integration for multi-output 'pdr -a'.	Alan Mishchenko	2013-09-16	1	-0/+1
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-1/+1
*	Adding new command &mprove for proving groups of properties.	Alan Mishchenko	2013-05-17	1	-1/+1
*	Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).	Alan Mishchenko	2013-05-03	1	-0/+4
*	Adding callback to bmc3, sim3, pdr in the multi-output mode.	Alan Mishchenko	2013-04-17	1	-0/+1
*	Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.	Alan Mishchenko	2013-04-09	1	-0/+1
*	Added 'gap timeout' to pdr.	Alan Mishchenko	2013-02-16	1	-0/+2
*	Enabled detecting CEXes in multiple POs without stopping (sim3 -a).	Alan Mishchenko	2013-01-23	1	-0/+1
*	Enabling multi-output solving in 'pdr'.	Alan Mishchenko	2012-12-09	1	-1/+1
*	Enabling multi-output solving in 'pdr'.	Alan Mishchenko	2012-12-09	1	-1/+3
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	1	-16/+19
*	Added restarts to PDR.	Alan Mishchenko	2012-02-13	1	-0/+1
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-0/+79