iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Also merge $equiv cells in equiv_struct	Clifford Wolf	2015-10-23	1	-0/+1
\|
*	Improvements in equiv_struct	Clifford Wolf	2015-10-23	1	-11/+18
\|
*	Added equiv_purge	Clifford Wolf	2015-10-22	2	-0/+210
\|
*	Added equiv_struct command	Clifford Wolf	2015-10-21	2	-0/+188
\|
*	Improved inout handling in equiv_make	Clifford Wolf	2015-10-21	1	-1/+1
\|
*	Spell check (by Larry Doolittle)	Clifford Wolf	2015-08-14	1	-1/+1
\|
*	Fixed trailing whitespaces	Clifford Wolf	2015-07-02	7	-14/+14
\|
*	Replaced ezDefaultSAT with ezSatPtr	Clifford Wolf	2015-02-21	2	-28/+29
\|
*	Added equiv_add	Clifford Wolf	2015-02-08	2	-0/+90
\|
*	Improved performance in equiv_simple	Clifford Wolf	2015-02-01	1	-23/+72
\|
*	Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")	Clifford Wolf	2015-01-31	1	-12/+31
\|
*	Added "equiv_induct -undef"	Clifford Wolf	2015-01-31	1	-5/+50
\|
*	Added "equiv_simple -undef"	Clifford Wolf	2015-01-31	1	-17/+47
\|
*	Added "equiv_make -blacklist <file> -encfile <file>"	Clifford Wolf	2015-01-31	2	-5/+173
\|
*	Fixed bug in equiv_miter	Clifford Wolf	2015-01-28	1	-6/+6
\|
*	Added equiv_remove	Clifford Wolf	2015-01-25	2	-0/+84
\|
*	Added equiv_miter	Clifford Wolf	2015-01-25	2	-0/+344
\|
*	Various equiv_* improvements	Clifford Wolf	2015-01-24	4	-14/+20
\|
*	Added dict/pool.sort()	Clifford Wolf	2015-01-24	1	-0/+2
\|
*	Improvements in equiv_make, equiv_induct	Clifford Wolf	2015-01-22	2	-0/+46
\|
*	Added equiv_induct	Clifford Wolf	2015-01-22	2	-0/+182
\|
*	Various equiv_simple improvements	Clifford Wolf	2015-01-22	1	-25/+50
\|
*	Moved equiv stuff to passes/equiv/	Clifford Wolf	2015-01-22	4	-0/+600