iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Initial changes to enable gate-level abstraction.	Alan Mishchenko	2011-09-22	1	-28/+2
\|
*	Added limit on the number of flops to add in one iteration of &abs_refine.	Alan Mishchenko	2011-09-12	1	-2/+2
\|
*	Added limit on the number of flops to add in one iteration of &abs_cba.	Alan Mishchenko	2011-09-11	1	-1/+16
\|
*	Added timeout to &abc_pba.	Alan Mishchenko	2011-09-02	1	-2/+2
\|
*	Bug fix in CBA and PBA.	Alan Mishchenko	2011-08-18	1	-2/+2
\|
*	Bug fix in CBA and PBA.	Alan Mishchenko	2011-08-17	1	-3/+4
\|
*	Bug fix in PBA.	Alan Mishchenko	2011-08-04	1	-14/+19
\|
*	Several bug fixes.	Alan Mishchenko	2011-08-02	1	-46/+65
\|
*	Bug fix in &abs_cba.	Alan Mishchenko	2011-08-01	1	-2/+1
\|
*	Improving and updating the abstraction code.	Alan Mishchenko	2011-07-29	1	-21/+53
\|
*	Added deriving abstraction in GIA from the precomputed flop map.	Alan Mishchenko	2011-07-29	1	-34/+6
\|
*	Improving and updating the abstraction code.	Alan Mishchenko	2011-07-29	1	-277/+82
\|
*	Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF ↵	Alan Mishchenko	2011-04-17	1	-2/+2
\| \| \| \|	numbers.
*	Improved the speed of refinement algorithm in &abs_refine.	Alan Mishchenko	2011-03-04	1	-3/+3
\|
*	Unified the use of counter-examples in three packages.	Alan Mishchenko	2011-02-13	1	-2/+2
\|
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-0/+553