yosys - Debian dgit repo for package yosys

	Commit message (Expand)	Author	Age
*	Fixed build of verific bindings	Clifford Wolf	2014-07-31
*	Added module->design and cell->module, wire->module pointers	Clifford Wolf	2014-07-31
*	Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespace	Clifford Wolf	2014-07-31
*	Using log_assert() instead of assert()	Clifford Wolf	2014-07-28
*	Fixed verific bindings for new RTLIL api	Clifford Wolf	2014-07-27
*	Updated verific build/test instructions	Clifford Wolf	2014-07-25
*	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
*	Added test_navre.ys for verific frontend	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