yosys - Debian dgit repo for package yosys

	Commit message (Expand)	Author	Age
*	Fixed bug (typo) in passes/opt/opt_const.cc	Clifford Wolf	2014-02-22
*	Added $lut support to blif backend (by user eddiehung from reddit)	Clifford Wolf	2014-02-22
*	Added ezMiniSat EZMINISAT_INCREMENTAL compile-time option	Clifford Wolf	2014-02-22
*	Made MiniSat solver backend configurable in ezminisat.h	Clifford Wolf	2014-02-22
*	Added workaround for vhdl-style edge triggers from vhdl2verilog to proc_arst	Clifford Wolf	2014-02-21
*	Added vhdl2verilog	Clifford Wolf	2014-02-21
*	Progress in presentation	Clifford Wolf	2014-02-21
*	Better handling of nameDef and nameRef in edif backend	Clifford Wolf	2014-02-21
*	Fixed instantiating multi-bit ports in edif backend	Clifford Wolf	2014-02-21
*	Use private namespace in mem_simple_4x1_map	Clifford Wolf	2014-02-21
*	Added tests/techmap/mem_simple_4x1	Clifford Wolf	2014-02-21
*	Renamed "write_blif -subckt" to "write_blif -icells" and added -gates and -param	Clifford Wolf	2014-02-21
*	Progress in presentation	Clifford Wolf	2014-02-21
*	Progress in presentation	Clifford Wolf	2014-02-20
*	Added _TECHMAP_REPLACE_ feature to techmap	Clifford Wolf	2014-02-20
*	Added "extract -ignore_parameters" and "extract -ignore_param ..."	Clifford Wolf	2014-02-20
*	Added "extract -map %<design_name>"	Clifford Wolf	2014-02-20
*	Added "design -push" and "design -pop"	Clifford Wolf	2014-02-20
*	Progress in presentation	Clifford Wolf	2014-02-20
*	Added connwrappers command	Clifford Wolf	2014-02-20
*	Cleanups in handling of read_verilog -defer and -icells	Clifford Wolf	2014-02-20
*	Progress in presentation	Clifford Wolf	2014-02-20
*	Added vcd2txt.pl and txt2tikztiming.py (tests/tools/...)	Clifford Wolf	2014-02-19
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2014-02-18
\|\
\| *	Added "sat -dump_cnf"	Clifford Wolf	2014-02-18
\| *	Coding style corrections in SatHelper::dump_model_to_vcd()	Clifford Wolf	2014-02-18
\| *	Improved non-verbose ezSAT::printDIMACS() format	Clifford Wolf	2014-02-18
\| *	Added "sat -initsteps"	Clifford Wolf	2014-02-18
* \|	Progress in presentation	Clifford Wolf	2014-02-18
* \|	Added techmap support for _TECHMAP_CONNMAP_*_	Clifford Wolf	2014-02-18
\|/
*	Added Verilog support for "`default_nettype none"	Clifford Wolf	2014-02-17
*	Renamed "sat -dump_fail_to_vcd" to "sat -dump_vcd" and some minor cleanups	Clifford Wolf	2014-02-17
*	Added "-dump_fail_to_vcd" argument to SAT solver	Andrew Zonenberg	2014-02-17
*	Progress in presentation	Clifford Wolf	2014-02-17
*	Better preserve wires when flattening (in comparison to techmap)	Clifford Wolf	2014-02-17
*	Progress in presentation	Clifford Wolf	2014-02-16
*	Added some additional checks to techmap	Clifford Wolf	2014-02-16
*	Added CONSTMSK and CONSTVAL feature to techmap	Clifford Wolf	2014-02-16
*	Fixed handling of "keep" attribute on wires in opt_clean	Clifford Wolf	2014-02-16
*	Added a warning note about error reporting to read_verilog help message	Clifford Wolf	2014-02-16
*	Progress in presentation	Clifford Wolf	2014-02-16
*	Fixed use of selection in splitnets command	Clifford Wolf	2014-02-16
*	Added recursion support to techmap	Clifford Wolf	2014-02-16
*	Progress in presentation	Clifford Wolf	2014-02-16
*	Progress in presentation	Clifford Wolf	2014-02-16
*	Improved support for constant functions	Clifford Wolf	2014-02-16
*	Now we are in Yoys 0.2.0+ development	Clifford Wolf	2014-02-16
*	Tagging Yoys 0.2.0	Clifford Wolf	2014-02-16
*	Added != support for relational select pattern	Clifford Wolf	2014-02-16
*	Added iopadmap -bits	Clifford Wolf	2014-02-15