iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	12	-3752/+0
\|
*	Implemented rollback in the main SAT solver and updated PDR to use it (saves ↵	Alan Mishchenko	2011-12-10	3	-13/+17
\| \| \| \|	about 5% of runtime).
*	Dump last frame clauses with 'pdr -d' even if the problem is SAT or undecided.	Alan Mishchenko	2011-11-12	3	-7/+17
\|
*	Corner-case bug in PDR.	Alan Mishchenko	2011-11-11	2	-2/+9
\|
*	Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.	Alan Mishchenko	2011-10-31	1	-3/+3
\|
*	Added handling of exceeding conflict limit in PushClasses.	Alan Mishchenko	2011-10-01	1	-3/+15
\|
*	Changing the ordering of arguments in two iterators.	Alan Mishchenko	2011-08-01	2	-15/+15
\|
*	Removed useless typecasts related to changes in Vec_VecEntry().	Alan Mishchenko	2011-08-01	1	-2/+2
\|
*	Added switch to PDR to disable expensive generalization step.	Alan Mishchenko	2011-07-13	2	-66/+71
\|
*	Modified the PDR print-out to be compatible with Niklas.	Alan Mishchenko	2011-07-12	1	-3/+3
\|
*	Added printout of flop names in the PLA file representing the invariant.	Alan Mishchenko	2011-07-11	1	-0/+16
\|
*	The cube in PDR can have more than 2^15 literals.	Alan Mishchenko	2011-06-27	2	-4/+4
\|
*	Improvements to timeout.	Alan Mishchenko	2011-05-11	1	-0/+2
\|
*	Unsuccessful attempt to improve PDR and a few minor changes.	Alan Mishchenko	2011-04-07	10	-37/+243
\|
*	Improvements in Vec_Vec_t.	Alan Mishchenko	2011-03-27	2	-3/+3
\|
*	Unified the use of counter-examples in three packages.	Alan Mishchenko	2011-02-13	1	-2/+1
\|
*	Changes to enable C++ compilation after recent modifications.	Alan Mishchenko	2011-02-13	2	-3/+3
\|
*	Make PDR return the number of completed frames.	Alan Mishchenko	2011-02-03	2	-0/+8
\|
*	New code since Dec 2010.	Alan Mishchenko	2011-01-13	12	-0/+3483