yosys - Debian dgit repo for package yosys

	Commit message (Collapse)	Author	Age
*	Imported GIT HEAD: 0.8+20190328git32bd0f2	Ruben Undheim	2019-03-28
\|
*	Added equiv_mark command	Clifford Wolf	2015-10-23
\|
*	Added equiv_purge	Clifford Wolf	2015-10-22
\|
*	Added equiv_struct command	Clifford Wolf	2015-10-21
\|
*	Added equiv_add	Clifford Wolf	2015-02-08
\|
*	Added equiv_remove	Clifford Wolf	2015-01-25
\|
*	Added equiv_miter	Clifford Wolf	2015-01-25
\|
*	Added equiv_induct	Clifford Wolf	2015-01-22
\|
*	Moved equiv stuff to passes/equiv/	Clifford Wolf	2015-01-22