iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Updating 'sim3' to move the design into the last rare state.	Alan Mishchenko	2013-04-01	2	-5/+13
\|
*	Improving verbose printout of 'sim3' when solving multiple outputs.	Alan Mishchenko	2013-03-30	1	-6/+14
\|
*	Updating 'pdr' to report the number of failed POs.	Alan Mishchenko	2013-03-30	2	-1/+3
\|
*	Making sure 'pdr -a' return UNDEC if it did not finish proving the remaining ↵	Alan Mishchenko	2013-03-26	1	-9/+10
\| \| \| \|	outputs to be UNSAT.
*	Commenting out assertion that fails in 'dch', not sure why.	Alan Mishchenko	2013-03-14	1	-1/+1
\|
*	Fixing gap timeout in 'pdr'.	Alan Mishchenko	2013-03-07	1	-5/+16
\|
*	Modified command 'init' to allow for specific init values.	Alan Mishchenko	2013-03-07	1	-1/+1
\|
*	Improvements to the hierarchy/timing manager.	Alan Mishchenko	2013-03-05	1	-1/+1
\|
*	User-controlable SAT sweeper and other small changes.	Alan Mishchenko	2013-02-27	2	-4/+2
\|
*	Compiler warnings.	Alan Mishchenko	2013-02-23	1	-0/+2
\|
*	Compiler warnings.	Alan Mishchenko	2013-02-21	1	-1/+1
\|
*	Enabling two-timeframe property check in the interpolation procedure.	Alan Mishchenko	2013-02-21	4	-20/+31
\|
*	Added 'gap timeout' to pdr.	Alan Mishchenko	2013-02-16	2	-14/+34
\|
*	Added 'gap timeout' to bmc3 and sim3.	Alan Mishchenko	2013-02-16	1	-0/+1
\|
*	Added 'gap timeout' to bmc3 and sim3.	Alan Mishchenko	2013-02-15	2	-4/+13
\|
*	Corner-case bug fix in PDR.	Alan Mishchenko	2013-02-01	1	-1/+1
\|
*	Fixed a corner-case when 'sim3 -a' does not work for costant POs.	Alan Mishchenko	2013-01-25	1	-5/+27
\|
*	Added switch &trim -V <num> to remove const POs with specific value <num>.	Alan Mishchenko	2013-01-25	1	-1/+1
\|
*	Enabled detecting CEXes in multiple POs without stopping (sim3 -a).	Alan Mishchenko	2013-01-23	1	-28/+24
\|
*	Enabled detecting CEXes in multiple POs without stopping (sim3 -a).	Alan Mishchenko	2013-01-23	4	-29/+47
\|
*	Enabled detecting CEXes in multiple POs without stopping (sim3 -a).	Alan Mishchenko	2013-01-23	2	-18/+50
\|
*	Reintroduced the old abstraction procedure Saig_ManCexAbstractionFlops() ↵	Alan Mishchenko	2013-01-08	2	-31/+162
\| \| \| \|	formerly called from &abs_start for backward compatibility.
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	3	-3/+3
\|
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	3	-3/+0
\|
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	9	-12/+12
\|
*	Enabling multi-output solving in 'pdr'.	Alan Mishchenko	2012-12-09	4	-5/+14
\|
*	Enabling multi-output solving in 'pdr'.	Alan Mishchenko	2012-12-09	1	-9/+14
\|
*	Enabling multi-output solving in 'pdr'.	Alan Mishchenko	2012-12-09	8	-26/+45
\|
*	Corner-case bug fix in &rpm.	Alan Mishchenko	2012-12-09	1	-0/+5
\|
*	Enabling multi-output solving in 'pdr'.	Alan Mishchenko	2012-12-09	6	-129/+165
\|
*	Making 'scorr -c' applicable to seq benchmarks without constraints.	Alan Mishchenko	2012-12-04	1	-4/+4
\|
*	Isolating BMC code into a separate package.	Alan Mishchenko	2012-11-14	5	-0/+5
\|
*	Made print-out of frontier cut an option ('-c') in '&ps'.	Alan Mishchenko	2012-11-12	2	-6/+6
\|
*	Enabling verbose report of dumping abstraction in GLA.	Alan Mishchenko	2012-11-07	1	-4/+4
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-11-06	1	-1/+1
\|
*	Merge	Niklas Een	2012-10-30	7	-3/+38
\|\
\| *	Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ↵	Alan Mishchenko	2012-10-25	4	-0/+33
\| \| \| \| \| \| \| \|	constant.
\| *	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	1	-1/+1
\| \|
\| *	Creating dedicated choice representation for GIA.	Alan Mishchenko	2012-10-24	2	-2/+4
\| \|
* \|	Replaced printfs with Abc_Print	Niklas Een	2012-10-29	19	-450/+464
\| \|
* \|	Replaced printfs with Abc_Print	Niklas Een	2012-10-29	1	-36/+35
\| \|
* \|	Replaced printfs with Abc_Print	Niklas Een	2012-10-29	1	-46/+45
\|/
*	Making report about the number of correcty covered frames consistent across ↵	Alan Mishchenko	2012-10-09	2	-2/+3
\| \| \| \|	the engines.
*	Bug fix in &gla (incorrect reporting of proved timeframes).	Alan Mishchenko	2012-10-09	1	-2/+2
\|
*	Bug fix in &gla (incorrect reporting of proved timeframes).	Alan Mishchenko	2012-10-09	1	-1/+2
\|
*	Making explicit cast to 64-bit unsigned in a few places.	Alan Mishchenko	2012-10-09	1	-6/+6
\|
*	Updating readme.	Alan Mishchenko	2012-10-06	1	-1/+2
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	3	-3/+3
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	1	-1/+1
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	1	-4/+4
\|