yosys - Debian dgit repo for package yosys

	Commit message (Collapse)	Author	Age
*	Added "equiv_struct -fwonly"	Clifford Wolf	2016-01-08
\|
*	Bugfixes in equiv_struct	Clifford Wolf	2016-01-08
\|
*	Added "equiv_struct -maxiter <N>"	Clifford Wolf	2016-01-06
\|
*	Added "equiv_add -try" mode	Clifford Wolf	2016-01-06
\|
*	Use mfp<> in equiv_mark	Clifford Wolf	2015-10-27
\|
*	Improvements in equiv_struct	Clifford Wolf	2015-10-25
\|
*	Major refactoring of equiv_struct	Clifford Wolf	2015-10-25
\|
*	Import more std:: stuff into Yosys namespace	Clifford Wolf	2015-10-25
\|
*	Added "equiv_add -cell"	Clifford Wolf	2015-10-25
\|
*	equiv_struct now creates equiv_merged attributes	Clifford Wolf	2015-10-25
\|
*	Improvements in equiv_struct	Clifford Wolf	2015-10-24
\|
*	renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()	Clifford Wolf	2015-10-24
\|
*	equiv_purge bugfix, using SigChunk in Yosys namespace	Clifford Wolf	2015-10-24
\|
*	Added equiv_mark command	Clifford Wolf	2015-10-23
\|
*	Also merge $equiv cells in equiv_struct	Clifford Wolf	2015-10-23
\|
*	Improvements in equiv_struct	Clifford Wolf	2015-10-23
\|
*	Added equiv_purge	Clifford Wolf	2015-10-22
\|
*	Added equiv_struct command	Clifford Wolf	2015-10-21
\|
*	Improved inout handling in equiv_make	Clifford Wolf	2015-10-21
\|
*	Spell check (by Larry Doolittle)	Clifford Wolf	2015-08-14
\|
*	Fixed trailing whitespaces	Clifford Wolf	2015-07-02
\|
*	Replaced ezDefaultSAT with ezSatPtr	Clifford Wolf	2015-02-21
\|
*	Added equiv_add	Clifford Wolf	2015-02-08
\|
*	Improved performance in equiv_simple	Clifford Wolf	2015-02-01
\|
*	Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")	Clifford Wolf	2015-01-31
\|
*	Added "equiv_induct -undef"	Clifford Wolf	2015-01-31
\|
*	Added "equiv_simple -undef"	Clifford Wolf	2015-01-31
\|
*	Added "equiv_make -blacklist <file> -encfile <file>"	Clifford Wolf	2015-01-31
\|
*	Fixed bug in equiv_miter	Clifford Wolf	2015-01-28
\|
*	Added equiv_remove	Clifford Wolf	2015-01-25
\|
*	Added equiv_miter	Clifford Wolf	2015-01-25
\|
*	Various equiv_* improvements	Clifford Wolf	2015-01-24
\|
*	Added dict/pool.sort()	Clifford Wolf	2015-01-24
\|
*	Improvements in equiv_make, equiv_induct	Clifford Wolf	2015-01-22
\|
*	Added equiv_induct	Clifford Wolf	2015-01-22
\|
*	Various equiv_simple improvements	Clifford Wolf	2015-01-22
\|
*	Moved equiv stuff to passes/equiv/	Clifford Wolf	2015-01-22