yosys - Debian dgit repo for package yosys

	Commit message (Expand)	Author	Age
*	Various fixes in Verific frontend for new RTLIL API	Clifford Wolf	2014-07-23
*	Fixed mapping of Verific WIDE_DFFRS operator	Clifford Wolf	2014-03-20
*	Fixed mapping of Verific FADD primitive with unconnected outputs	Clifford Wolf	2014-03-20
*	Progress in Verific bindings	Clifford Wolf	2014-03-17
*	Progress in Verific bindings	Clifford Wolf	2014-03-17
*	Progress in Verific bindings	Clifford Wolf	2014-03-17
*	Added support for memories to verific bindings	Clifford Wolf	2014-03-16
*	Use Verific Net::{IsGnd,IsPwr} API in Verific bindings	Clifford Wolf	2014-03-16
*	Progress in Verific bindings	Clifford Wolf	2014-03-15
*	Progress in Verific bindings	Clifford Wolf	2014-03-15
*	Progress in Verific bindings	Clifford Wolf	2014-03-15
*	Progress in Verific bindings	Clifford Wolf	2014-03-14
*	Progress in Verific bindings	Clifford Wolf	2014-03-14
*	Progress in Verific bindings	Clifford Wolf	2014-03-13
*	Copy Verific vdbs files to Yosys "share" data directory	Clifford Wolf	2014-03-13
*	Improved verific command (added support for some operators)	Clifford Wolf	2014-03-10
*	Improvements in verific command	Clifford Wolf	2014-03-10
*	Added "verific" command	Clifford Wolf	2014-03-09