iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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