iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding features for invariant minimization.	Alan Mishchenko	2017-01-25	1	-2/+2
*	Adding features for invariant minimization.	Alan Mishchenko	2017-01-25	1	-3/+13
*	Adding features for invariant minimization.	Alan Mishchenko	2017-01-25	1	-29/+73
*	Adding features for invariant minimization.	Alan Mishchenko	2017-01-24	1	-16/+27
*	Adding features for invariant minimization.	Alan Mishchenko	2017-01-24	1	-10/+71
*	Adding features for invariant minimization.	Alan Mishchenko	2017-01-24	1	-0/+228
*	Adding flag 'pdr -e' to output only support variables in the invariant.	Alan Mishchenko	2016-09-28	1	-6/+4
*	Compiler warning.	Alan Mishchenko	2016-01-14	1	-1/+0
*	Changes to PDR to compute f-inf clauses and import invariant (or clauses) as ...	Alan Mishchenko	2016-01-14	1	-4/+146
*	Adding names to GIA inputs/outputs. Changing polarity of invariant generated...	Alan Mishchenko	2015-12-22	1	-1/+1
*	Adding names to GIA inputs/outputs. Changing polarity of invariant generated...	Alan Mishchenko	2015-12-21	1	-1/+1
*	New command %psinv.	Alan Mishchenko	2015-11-23	1	-0/+20
*	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 p...	Alan Mishchenko	2013-09-13	1	-1/+1
*	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