iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Fixing performance bug with old proof-logging (adding clauses multiple times).	Alan Mishchenko	2012-07-30	1	-0/+1
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-10/+3
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-0/+2
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-25/+9
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-0/+2
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-3/+3
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-0/+1
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-1/+1
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-1/+2
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-2/+5
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-1/+3
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-3/+21
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-2/+6
*	Debugging a proof error.	Alan Mishchenko	2012-07-13	1	-0/+3
*	Several small changes and fixes.	Alan Mishchenko	2012-07-13	1	-1/+4
*	Removed useless file.	Alan Mishchenko	2012-07-12	1	-5/+6
*	Improvements in the proof-logging SAT solver.	Alan Mishchenko	2012-07-11	1	-55/+70
*	Replacing Mb/Gb to be MB/GB.	Alan Mishchenko	2012-07-09	1	-3/+3
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-3/+3
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-6/+9
*	Moving Vec_Set_t to the vector directory.	Alan Mishchenko	2012-03-28	1	-1/+1
*	Switching to a variable-page-size memory manager for clauses and proofs.	Alan Mishchenko	2012-03-21	1	-1/+1
*	Preventing gcc compilation errors in handling memory pages.	Alan Mishchenko	2012-03-21	1	-2/+2
*	Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...	Alan Mishchenko	2012-03-09	1	-3/+3
*	Added QuickSort based on 3-way partitioning.	Alan Mishchenko	2012-02-19	1	-1/+1
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	1	-3/+4
*	Improved memory management of proof-logging and propagated changes.	Alan Mishchenko	2012-02-16	1	-24/+112
*	Improved memory management of proof-logging and propagated changes.	Alan Mishchenko	2012-02-16	1	-155/+81
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-13	1	-3/+57
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-27	1	-10/+25
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-3/+3
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-20	1	-12/+17
*	Transforming the solver to use different clause representation.	Alan Mishchenko	2011-12-23	1	-24/+21
*	Transforming the solver to use different clause representation.	Alan Mishchenko	2011-12-23	1	-83/+21
*	Computing interpolants as truth tables.	Alan Mishchenko	2011-12-22	1	-0/+109
*	Started SAT-based reparameterization.	Alan Mishchenko	2011-12-13	1	-143/+66
*	Implementing rollback in the updated solver.	Alan Mishchenko	2011-12-10	1	-12/+12
*	Integrated new proof-logging into proof-based gate-level abstraction.	Alan Mishchenko	2011-12-08	1	-190/+160
*	Proof-logging in the updated solver.	Alan Mishchenko	2011-12-08	1	-131/+332
*	Proof-logging in the updated solver.	Alan Mishchenko	2011-12-08	1	-46/+90
*	Proof-logging in the updated solver.	Alan Mishchenko	2011-12-07	1	-137/+103
*	Proof-logging in the updated solver.	Alan Mishchenko	2011-12-06	1	-39/+146
*	g++ portability changes.	Alan Mishchenko	2011-12-06	1	-2/+2
*	Proof-logging in the updated solver.	Alan Mishchenko	2011-12-05	1	-32/+29
*	Proof-logging in the updated solver.	Alan Mishchenko	2011-12-05	1	-218/+299
*	Proof-logging in the updated solver.	Alan Mishchenko	2011-12-05	1	-1/+1
*	Started proof transformations.	Alan Mishchenko	2011-12-01	1	-0/+476