iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.	Alan Mishchenko	2016-12-13	1	-1/+1
*	Adding support of candinality clause to the SAT solver.	Alan Mishchenko	2016-01-10	1	-1/+10
*	Tuning SAT solver for QBF instances.	Alan Mishchenko	2015-09-18	1	-1/+1
*	Tuning SAT solver for QBF instances.	Alan Mishchenko	2015-09-18	1	-4/+12
*	Tuning SAT solver for QBF instances.	Alan Mishchenko	2015-09-18	1	-3/+9
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	3	-1/+160
*	Specialized induction check.	Alan Mishchenko	2013-10-31	1	-3/+6
*	Experiment with 'pdr'.	Alan Mishchenko	2013-07-19	3	-0/+63
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	3	-34/+34
*	g++ warnings.	Alan Mishchenko	2013-05-19	1	-1/+1
*	Added dumping QDIMACS files in command 'qbf'.	Alan Mishchenko	2013-03-27	2	-6/+34
*	Fixing compilation problems on Linux-32 related to constants of type unsigned...	Alan Mishchenko	2013-01-30	1	-6/+6
*	Making explicit cast to 64-bit unsigned in a few places.	Alan Mishchenko	2012-10-09	1	-2/+2
*	Added delay multipliers to 'map'.	Alan Mishchenko	2012-09-16	1	-1/+1
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	2	-51/+47
*	Changes to clause mapping.	Alan Mishchenko	2012-07-11	1	-6/+6
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	4	-8/+8
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	3	-8/+7
*	Various changes to enable sensitization-based refinement in &gla.	Alan Mishchenko	2012-07-04	2	-5/+5
*	Performance improvement in &gla.	Alan Mishchenko	2012-07-04	3	-0/+3
*	Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...	Alan Mishchenko	2012-03-09	4	-30/+30
*	Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...	Alan Mishchenko	2012-03-09	5	-28/+28
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	1	-1/+1
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	12	-0/+8752