iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Updates and bug fixes.	Alan Mishchenko	2014-06-15	1	-1/+5
*	Adding more features to the synthesis script &syn2.	Alan Mishchenko	2014-06-14	1	-6/+17
*	Various modifications.	Alan Mishchenko	2014-06-13	1	-1/+2
*	Various modifications.	Alan Mishchenko	2014-06-12	1	-8/+8
*	Integrating recent changes.	Alan Mishchenko	2014-06-12	1	-8/+12
*	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