iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Compiler warnings.	Alan Mishchenko	2014-03-31	1	-1/+1
\|
*	Adding new code to verify invariant derived by 'pdr'.	Alan Mishchenko	2014-03-30	1	-0/+82
\|
*	Fixing several bugs, which led to unsound results produced by 'pdr -a' with ↵	Alan Mishchenko	2013-09-13	1	-1/+1
\| \| \| \|	per-output timeout.
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-3/+3
\|
*	Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).	Alan Mishchenko	2013-05-03	1	-0/+2
\|
*	Updating 'pdr' to report the number of failed POs.	Alan Mishchenko	2013-03-30	1	-0/+2
\|
*	Adding flushing stdout after printing verbose stats.	Alan Mishchenko	2012-07-07	1	-0/+1
\|
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-2/+2
\|
*	Making 'pdr', &gla, &vta print correctly in batch mode.	Alan Mishchenko	2012-07-07	1	-1/+3
\|
*	Fixing time printouts in 'pdr'.	Alan Mishchenko	2012-07-07	1	-1/+1
\|
*	Fixing time printouts in 'pdr'.	Alan Mishchenko	2012-07-07	1	-1/+2
\|
*	Redirecting printf messages.	Alan Mishchenko	2012-03-02	1	-2/+2
\|
*	Redirecting printf messages.	Alan Mishchenko	2012-03-02	1	-15/+15
\|
*	Added restarts to PDR.	Alan Mishchenko	2012-02-13	1	-14/+8
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-0/+374