yosys - Debian dgit repo for package yosys

	Commit message (Expand)	Author	Age
*	Added "init" attribute support to verilog backend	Clifford Wolf	2015-04-04
*	Update README	Ahmed Irfan	2015-04-03
*	Delete btor.ys	Ahmed Irfan	2015-04-03
*	Update README	Ahmed Irfan	2015-04-03
*	separated memory next from write cell	Ahmed Irfan	2015-04-03
*	Added Verilog backend $dffsr support	Clifford Wolf	2015-03-18
*	Documentation for JSON format, added attributes	Clifford Wolf	2015-03-06
*	Json bugfix	Clifford Wolf	2015-03-03
*	Json backend improvements	Clifford Wolf	2015-03-03
*	Added write_blif -attr	Clifford Wolf	2015-03-02
*	Added JSON backend	Clifford Wolf	2015-03-02
*	Added $assume support to write_smt2	Clifford Wolf	2015-02-26
*	Minor "write_smt2" help msg change	Clifford Wolf	2015-02-22
*	Added "<mod>_a" and "<mod>_i" to write_smt2 output	Clifford Wolf	2015-02-22
*	Fixed "write_verilog -attr2comment" handling of "*/" in strings	Clifford Wolf	2015-02-13
*	Added EDIF backend support for multi-bit cell ports	Clifford Wolf	2015-02-01
*	Shorter "dump" options	Clifford Wolf	2015-01-31
*	Added ENABLE_NDEBUG makefile options	Clifford Wolf	2015-01-24
*	Added dict/pool.sort()	Clifford Wolf	2015-01-24
*	Cosmetic changes in verilog output format	Clifford Wolf	2015-01-02
*	Fixed memory->start_offset handling	Clifford Wolf	2015-01-01
*	Replaced std::unordered_map as implementation for Yosys::dict	Clifford Wolf	2014-12-26
*	Added Yosys::{dict,nodict,vector} container types	Clifford Wolf	2014-12-26
*	Various fixes and improvements in "write_smt2 -bv"	Clifford Wolf	2014-12-25
*	Various fixes and improvements in write_smt2	Clifford Wolf	2014-12-25
*	Added support for most BV cell types to write_smt2	Clifford Wolf	2014-12-25
*	Added "write_smt2 -bv" and other write_smt2 improvements	Clifford Wolf	2014-12-25
*	Added write_smt2 (only gate level logic supported so far)	Clifford Wolf	2014-12-24
*	Renamed extend() to extend_xx(), changed most users to extend_u0()	Clifford Wolf	2014-12-24
*	Added $dffe support to write_verilog	Clifford Wolf	2014-12-20
*	Fixed another bug in write_blif handling of $lut cells	Clifford Wolf	2014-12-19
*	Fixed writing of $lut cells in BLIF backend	Clifford Wolf	2014-12-17
*	Added "write_blif -undef" and support for special "-" true/false/undef type	Clifford Wolf	2014-12-14
*	Added "write_blif -blackbox"	Clifford Wolf	2014-12-14
*	Added "blif -unbuf" feature	Clifford Wolf	2014-12-14
*	Added log_warning() API	Clifford Wolf	2014-11-09
*	Fixed generation of temp names in verilog backend	Clifford Wolf	2014-11-07
*	Renamed SIZE() to GetSize() because of name collision on Win32	Clifford Wolf	2014-10-10
*	namespace Yosys	Clifford Wolf	2014-09-27
*	Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor	Ahmed Irfan	2014-09-22
\|\
\| *	Sorting of object names in ilang backend	Clifford Wolf	2014-09-19
\| *	Various bug fixes (related to $macc model testing)	Clifford Wolf	2014-09-06
\| *	Corrected spelling mistakes found by lintian	Ruben Undheim	2014-09-06
\| *	Removed $bu0 cell type	Clifford Wolf	2014-09-04
\| *	Using $pos models for $bu0	Clifford Wolf	2014-09-03
\| *	Using std::vector<RTLIL::State> instead of RTLIL::Const for RTLIL::SigChunk::...	Clifford Wolf	2014-09-01
\| *	Changed frontend-api from FILE to std::istream	Clifford Wolf	2014-08-23
\| *	Changed backend-api from FILE to std::ostream	Clifford Wolf	2014-08-23
\| *	Fixed AOI/OAI expr handling in verilog backend	Clifford Wolf	2014-08-16
\| *	Added additional gate types: $_NAND_ $_NOR_ $_XNOR_ $_AOI3_ $_OAI3_ $_AOI4_ $...	Clifford Wolf	2014-08-16