iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|\ \| \| \| \| \| \|	pull request for unfold2
\| *	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
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-27	2	-57/+449
\|
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-23	2	-144/+285
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-22	2	-4/+84
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-22	1	-5/+53
\|
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-22	2	-24/+34
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-21	1	-1/+1
\|
*	Simple version of ECO.	Alan Mishchenko	2014-05-21	2	-6/+21
\|
*	Experiment with support minimization.	Alan Mishchenko	2014-05-21	5	-7/+287
\|
*	Experiment with new idea for ISO.	Alan Mishchenko	2014-05-21	3	-2/+239
\|
*	Simple version of ECO.	Alan Mishchenko	2014-05-21	1	-0/+297
\|
*	Simple version of ECO.	Alan Mishchenko	2014-05-21	2	-2/+9
\|
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-20	1	-8/+40
\|
*	Adding comment to usage message in 'pdr' regarding invariant dumped when ↵	Alan Mishchenko	2014-05-20	1	-1/+1
\| \| \| \|	init-state is not all-0.
*	Adding symbolic fault representation in &fftest.	Alan Mishchenko	2014-05-19	2	-34/+29
\|