iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Propagating initial PI level during balancing.	Alan Mishchenko	2013-11-15	1	-0/+45
\|
*	Corner-case bug in synthesis commands.	Alan Mishchenko	2013-11-01	1	-0/+6
\|
*	Adding new synthesis scripts.	Alan Mishchenko	2013-10-23	1	-2/+68
\|
*	More accurate level calculation in AIG balancing.	Alan Mishchenko	2013-10-22	1	-5/+14
\|
*	Integrating synthesis into the new BMC engine.	Alan Mishchenko	2013-10-03	1	-6/+6
\|
*	Integrating synthesis into the new BMC engine.	Alan Mishchenko	2013-10-02	1	-4/+6
\|
*	Integrating synthesis into the new BMC engine.	Alan Mishchenko	2013-10-02	1	-0/+1
\|
*	Integrating synthesis into the new BMC engine.	Alan Mishchenko	2013-10-02	1	-7/+47
\|
*	Changing default values.	Alan Mishchenko	2013-10-02	1	-2/+2
\|
*	Converting mapped AIG into strashed AIG.	Alan Mishchenko	2013-09-30	1	-4/+11
\|
*	Changing default values.	Alan Mishchenko	2013-09-30	1	-3/+4
\|
*	Changing default values.	Alan Mishchenko	2013-09-30	1	-1/+1
\|
*	Changing default values.	Alan Mishchenko	2013-09-30	1	-8/+26
\|
*	Changing default values.	Alan Mishchenko	2013-09-30	1	-19/+34
\|
*	New logic sharing extraction.	Alan Mishchenko	2013-09-29	1	-1/+1
\|
*	Updating logic extraction.	Alan Mishchenko	2013-09-29	1	-2/+3
\|
*	Updating logic extraction.	Alan Mishchenko	2013-09-29	1	-11/+58
\|
*	Changing default values.	Alan Mishchenko	2013-09-29	1	-2/+3
\|
*	New logic sharing extraction.	Alan Mishchenko	2013-09-28	1	-68/+97
\|
*	New logic sharing extraction.	Alan Mishchenko	2013-09-28	1	-61/+575
\|
*	Performance balancing command &b.	Alan Mishchenko	2013-09-27	1	-0/+328