iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-64/+64
\|
*	Improvements in the proof-logging SAT solver.	Alan Mishchenko	2012-07-11	1	-1/+1
\|
*	Replacing Mb/Gb to be MB/GB.	Alan Mishchenko	2012-07-09	1	-1/+1
\|
*	Adding several command-line arguments to 'dsat'.	Alan Mishchenko	2012-07-09	1	-2/+2
\|
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-4/+4
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-23/+31
\|
*	Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ↵	Alan Mishchenko	2012-03-09	1	-3/+3
\| \| \| \|	...Ci/Co.
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	1	-1/+1
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	1	-1/+1
\|
*	Bug fix for incorrect memory allocation in main SAT solver, leading to ↵	Alan Mishchenko	2012-01-23	1	-2/+2
\| \| \| \|	crashes in 'dsec' (correction to the previous fix).
*	Bug fix for incorrect memory allocation in main SAT solver, leading to ↵	Alan Mishchenko	2012-01-22	1	-4/+4
\| \| \| \|	crashes in 'dsec'.
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-4/+6
\|
*	Bug fix related to not properly resizing SAT solver's model array.	Alan Mishchenko	2012-01-06	1	-4/+8
\|
*	Transforming the solver to use different clause representation.	Alan Mishchenko	2011-12-23	1	-0/+2
\|
*	Started experiments with a new solver.	Alan Mishchenko	2011-11-25	1	-2/+2
\|
*	Changes to support sequential verification with reduction without speculation.	Alan Mishchenko	2011-02-19	1	-3/+173
\|
*	Improvements to CEC command iprove.	Alan Mishchenko	2011-02-18	1	-2/+2
\|
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-15/+24
\|
*	Version abc90408	Alan Mishchenko	2009-04-08	1	-1/+1
\|
*	Version abc90215	Alan Mishchenko	2009-02-15	1	-56/+56
\|
*	Version abc80919	Alan Mishchenko	2008-09-19	1	-2/+7
\|
*	Version abc80905	Alan Mishchenko	2008-09-05	1	-3/+4
\|
*	Version abc80702	Alan Mishchenko	2008-07-02	1	-6/+7
\|
*	Version abc80610	Alan Mishchenko	2008-06-10	1	-2/+2
\|
*	Version abc80512_2	Alan Mishchenko	2008-05-12	1	-0/+6
\|
*	Version abc80212	Alan Mishchenko	2008-02-12	1	-3/+3
\|
*	Version abc80130_2	Alan Mishchenko	2008-01-30	1	-0/+2760
\|
*	Version abc80130	Alan Mishchenko	2008-01-30	1	-2760/+0
\|
*	Version abc71001	Alan Mishchenko	2007-10-01	1	-0/+2760
\|
*	Version abc70930	Alan Mishchenko	2007-09-30	1	-2762/+0
\|
*	Version abc70926	Alan Mishchenko	2007-09-26	1	-4/+4
\|
*	Version abc70911	Alan Mishchenko	2007-09-11	1	-0/+6
\|
*	Version abc70710	Alan Mishchenko	2007-07-10	1	-1/+7
\|
*	Version abc70121	Alan Mishchenko	2007-01-21	1	-2/+13
\|
*	Version abc70110	Alan Mishchenko	2007-01-10	1	-4/+39
\|
*	Version abc61122	Alan Mishchenko	2006-11-22	1	-0/+2704