iCE40/abc - [no description]

	Commit message (Collapse)	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 ↵	Alan Mishchenko	2012-03-09	1	-3/+3
\| \| \| \|	...Ci/Co.
*	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