iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Enabling switching activity.	Alan Mishchenko	2014-06-12	2	-2/+7
*	Integrating recent changes.	Alan Mishchenko	2014-06-12	4	-45/+40
*	Adding switch to &st to convert to larger gates.	Alan Mishchenko	2014-06-11	1	-5/+12
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-1/+1
*	Various modifications.	Alan Mishchenko	2014-06-10	1	-0/+61
*	Various modifications.	Alan Mishchenko	2014-06-10	8	-8/+246
*	undo an accidental change to the Makefile	Baruch Sterin	2014-06-10	1	-3/+1
*	add an option to the pyabc packaging scripts	Baruch Sterin	2014-06-10	2	-3/+10
*	minor changes to pyabc install script	Baruch Sterin	2014-06-09	1	-2/+14
*	Skip 'scorr' when the network has no primary inputs.	Alan Mishchenko	2014-06-09	1	-0/+6
*	Commented out some assertions in	Alan Mishchenko	2014-06-07	1	-8/+8
*	Adding print-out to &splitprove to see impact of cof variable on AIG size.	Alan Mishchenko	2014-06-07	2	-10/+14
*	Adding print-out to &splitprove to see impact of cof variable on AIG size.	Alan Mishchenko	2014-06-07	4	-18/+49
*	Adding a feature to collapse hierarhical AIGs.	Alan Mishchenko	2014-06-05	2	-5/+23
*	Correcting switching activity computation.	Alan Mishchenko	2014-06-05	5	-56/+46
*	Fixed printout of in the hierarchy log file.	Alan Mishchenko	2014-06-05	1	-1/+1
*	Fixed printout of in the hierarchy log file.	Alan Mishchenko	2014-06-05	1	-2/+4
*	Reverting to Makefile with suppressed printouts.	Alan Mishchenko	2014-06-05	1	-1/+1
*	Fixed printout of in the hierarchy log file.	Alan Mishchenko	2014-06-05	1	-1/+1
*	Fixed printout of in the hierarchy log file.	Alan Mishchenko	2014-06-05	1	-1/+1
*	Fixed C-compiler errors on Windows.	Alan Mishchenko	2014-06-04	1	-7/+9
*	Merged in lj/abc-lj/unfold2-dev (pull request #6)	Alan Mishchenko	2014-06-04	10	-4/+775
\|\
\| *	ci	Jiang Long	2014-06-04	1	-1/+1
\| *	the latest version	Jiang Long	2014-06-04	4	-117/+120
\| *	merge unfold2	Jiang Long	2014-06-04	10	-4/+772
\| *	init	Jiang Long	2014-06-04	0	-0/+0
\|/
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-0/+4
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-4/+4
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-1/+1
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	2	-2/+2
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	2	-134/+158
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-5/+5
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	6	-82/+366
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	2	-9/+31
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	2	-13/+26
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-9/+42
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-52/+59
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-2/+1
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	1	-1/+1
*	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-04	4	-53/+120
*	Merging two branches.	Alan Mishchenko	2014-06-04	1	-5/+6
\|\
\| *	Fix PLA reader to correctly report error file numbers.	Alan Mishchenko	2014-06-02	1	-5/+6
* \|	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-02	1	-8/+9
* \|	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-02	1	-0/+1
* \|	Adding CEC command &splitprove.	Alan Mishchenko	2014-06-02	4	-23/+227
* \|	Code to explore cofactors of CEC problems.	Alan Mishchenko	2014-06-02	3	-6/+219
* \|	Corner-cases in &gprove and &mprove.	Alan Mishchenko	2014-06-01	1	-1/+11
\|/
*	Allow delay increase to be negative in 'mfs2'.	Alan Mishchenko	2014-05-31	1	-1/+1
*	Compiler warnings.	Alan Mishchenko	2014-05-29	1	-3/+3
*	Fixing the problem with 'phase -c'.	Alan Mishchenko	2014-05-29	5	-4/+64