iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Improvements in equiv_struct	Clifford Wolf	2015-10-24	1	-1/+22
*	renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()	Clifford Wolf	2015-10-24	2	-7/+7
*	equiv_purge bugfix, using SigChunk in Yosys namespace	Clifford Wolf	2015-10-24	2	-3/+4
*	Added equiv_mark command	Clifford Wolf	2015-10-23	3	-1/+265
*	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