yosys - Debian dgit repo for package yosys

	Commit message (Expand)	Author	Age
*	Tighter integration of ABC build	Clifford Wolf	2013-11-27
*	Started implementing undef support in "sat" command	Clifford Wolf	2013-11-25
*	Bugfixes in new "stat" command	Clifford Wolf	2013-11-25
*	Added "stat" command	Clifford Wolf	2013-11-25
*	Improvements in satgen undef handling	Clifford Wolf	2013-11-25
*	Improvements in satgen undef handling	Clifford Wolf	2013-11-25
*	Started implementing undef handling in satgen	Clifford Wolf	2013-11-25
*	Using simplemap mappers from techmap	Clifford Wolf	2013-11-24
*	Added simplemap pass	Clifford Wolf	2013-11-24
*	Added module->avail_parameters (for advanced techmap features)	Clifford Wolf	2013-11-24
*	Added techmap -D and -I options	Clifford Wolf	2013-11-24
*	Added "techmap -share_map" option	Clifford Wolf	2013-11-24
*	Remove auto_wire framework (smarter than the verilog standard)	Clifford Wolf	2013-11-24
*	Implemented correct handling of signed module parameters	Clifford Wolf	2013-11-24
*	Fixed "flatten" top-module detection: Only use on fully selected designs	Clifford Wolf	2013-11-24
*	Added "top" attribute to mark top module in hierarchy	Clifford Wolf	2013-11-24
*	Improved handling of techmap special wires	Clifford Wolf	2013-11-23
*	Added more generic _TECHMAP_ wire mechanism to techmap pass	Clifford Wolf	2013-11-23
*	Renamed "placeholder" to "blackbox"	Clifford Wolf	2013-11-22
*	Updated abc	Clifford Wolf	2013-11-21
*	Major improvements in mem2reg and added "init" sync rules	Clifford Wolf	2013-11-21
*	Fixed a bug in "add -global_input"	Clifford Wolf	2013-11-21
*	Added "proc_arst -global_arst" feature	Clifford Wolf	2013-11-20
*	Added "add" command (only wires for now)	Clifford Wolf	2013-11-20
*	Renamed temp module generated by "abc" pass from "logic" to "netlist"	Clifford Wolf	2013-11-19
*	Fixed abc pass blif parser for constant bits	Clifford Wolf	2013-11-13
*	Cleanups and bugfixes in response to new internal cell checker	Clifford Wolf	2013-11-11
*	Call internal checker more often	Clifford Wolf	2013-11-10
*	Improved user-friendliness of "sat" and "eval" expression parsing	Clifford Wolf	2013-11-09
*	Added verification of SAT model to "eval -vloghammer_report" command	Clifford Wolf	2013-11-09
*	Fixed keep attribute on wires in opt_clean	Clifford Wolf	2013-11-08
*	Renamed extend_un0() to extend_u0() and use it in genrtlil	Clifford Wolf	2013-11-07
*	Fixed type of sign extension in opt_const $eq/$ne handling	Clifford Wolf	2013-11-07
*	Fixed $eq/$ne bitwise optimization in opt_const	Clifford Wolf	2013-11-07
*	Added handling of unconnected/unspecified signals to eval -vloghammer_report	Clifford Wolf	2013-11-06
*	Added correct RTL undef handling to eval vloghammer mode	Clifford Wolf	2013-11-06
*	Added eval -vloghammer_report mode	Clifford Wolf	2013-11-06
*	Added support for "keep" attributes on wires	Clifford Wolf	2013-11-05
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2013-11-03
\|\
\| *	Added resolution of positional arguments to hierarchy pass	Clifford Wolf	2013-11-03
* \|	Added placeholder check to dfflibmap and cleaned up some other placeholder ch...	Clifford Wolf	2013-10-31
\|/
*	Added detection for endless recursion in fsm_detect pass	Clifford Wolf	2013-10-30
*	Fixed help message typo (memory pass)	Clifford Wolf	2013-10-30
*	Added -format option to splitnets	Clifford Wolf	2013-10-29
*	Added support for i/o buffers to iopadmap	Clifford Wolf	2013-10-26
*	Added support for sr flip-flops to dfflibmap	Clifford Wolf	2013-10-24
*	Added support for complex set-reset flip-flops in proc_dff	Clifford Wolf	2013-10-24
*	Fixed handling of boolean attributes (passes)	Clifford Wolf	2013-10-24
*	Improved handling of dff with async resets	Clifford Wolf	2013-10-21
*	Added handling of multiple async paths in proc_arst	Clifford Wolf	2013-10-19