yosys - Debian dgit repo for package yosys

	Commit message (Expand)	Author	Age
*	Added "prep" command	Clifford Wolf	2015-10-14
*	Added more cell descriptions	Clifford Wolf	2015-10-14
*	Added first help messages for cell types	Clifford Wolf	2015-10-14
*	Added yosys-smtbmc copyright	Clifford Wolf	2015-10-14
*	Improvements in yosys-smtbmc	Clifford Wolf	2015-10-14
*	Added yosys-smtbmc	Clifford Wolf	2015-10-14
*	Implemented smtbmc.py -i	Clifford Wolf	2015-10-14
*	Added smtbmc.py	Clifford Wolf	2015-10-13
*	Added write_smt2 -wires	Clifford Wolf	2015-10-13
*	Added examples/ top-level directory	Clifford Wolf	2015-10-13
*	SystemVerilog also has assume(), added implicit -D FORMAL	Clifford Wolf	2015-10-13
*	Merge branch 'master' of https://github.com/rubund/yosys	Clifford Wolf	2015-10-13
\|\
\| *	Use DESTDIR as defined in https://www.gnu.org/prep/standards/html_node/DESTDI...	Ruben Undheim	2015-10-11
\| *	Use LDFLAGS, CXXFLAGS and CPPFLAGS from the environment when building	Ruben Undheim	2015-10-11
* \|	Fixed "flatten" for unconnected inout ports	Clifford Wolf	2015-10-13
\|/
*	Added support for "parameter" and "localparam" in global context	Clifford Wolf	2015-10-07
*	Fixed complexity of assigning to vectors in constant functions	Clifford Wolf	2015-10-01
*	Fixed detection of unconditional $readmem[hb]	Clifford Wolf	2015-09-30
*	Added edgetypes command	Clifford Wolf	2015-09-27
*	Some cleanups in qwp	Clifford Wolf	2015-09-26
*	Added "test_cell -noeval"	Clifford Wolf	2015-09-25
*	Added wreduce $mul support and fixed signed $mul opt_const bug	Clifford Wolf	2015-09-25
*	Bugfix in bram read-enable code	Clifford Wolf	2015-09-25
*	Bugfixes in $readmem[hb]	Clifford Wolf	2015-09-25
*	Bugfixes in writing of memories as Verilog	Clifford Wolf	2015-09-25
*	Fixed segfault in AstNode::asReal	Clifford Wolf	2015-09-25
*	Added read-enable to memory model	Clifford Wolf	2015-09-25
*	Added pivoting to qwp solver	Clifford Wolf	2015-09-24
*	Improved qwp performance	Clifford Wolf	2015-09-24
*	Added statistics summary to "qwp"	Clifford Wolf	2015-09-24
*	Fixed memory_bram for ROMs in BRAMs with write-enable inputs	Clifford Wolf	2015-09-24
*	Fixed AstNode::mkconst_bits() segfault on zero-sized constant	Clifford Wolf	2015-09-24
*	Added read_verilog -nodpi	Clifford Wolf	2015-09-23
*	Bugfix in handling of multi-dimensional memories	Clifford Wolf	2015-09-23
*	Warning for $display/$write outside initial block	Clifford Wolf	2015-09-23
*	Fixed support for $write system task	Clifford Wolf	2015-09-23
*	Fixed detection of "task foo(bar);" syntax error	Clifford Wolf	2015-09-22
*	Fixed multi-level prefix resolving	Clifford Wolf	2015-09-22
*	Fixed segfault on invalid verilog constant 1'b_	Clifford Wolf	2015-09-22
*	Fixed emcc build	Clifford Wolf	2015-09-21
*	Do not detect fsm state registers with init attribute	Clifford Wolf	2015-09-21
*	Bugfix in "qwp" pass	Clifford Wolf	2015-09-21
*	Improvements and fixes in "qwp" pass	Clifford Wolf	2015-09-21
*	Added "qwp -dump"	Clifford Wolf	2015-09-20
*	Added "qwp" command	Clifford Wolf	2015-09-20
*	Improvements to $display system task	Andrew Zonenberg	2015-09-19
*	Added nlutmap	Clifford Wolf	2015-09-18
*	Added lut2mux pass	Clifford Wolf	2015-09-18
*	Cosmetic fix in Module::addLut()	Clifford Wolf	2015-09-18
*	Added buffer detection to "abc -lut"	Clifford Wolf	2015-09-18