yosys - Debian dgit repo for package yosys

	Commit message (Collapse)	Author	Age
*	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 ↵	Clifford Wolf	2013-10-31
\|/ \| \| \|	checks
*	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
\|
*	Added dffsr support to proc_dff pass	Clifford Wolf	2013-10-18
\|
*	Improved way of connecting ports in techmap pass	Clifford Wolf	2013-10-17
\|
*	Only prefer connected signals iff they have public names	Clifford Wolf	2013-10-17
\|
*	Fixed bug in synthesis of memories that are never written	Clifford Wolf	2013-10-17
\|
*	Avoid re-arranging signals on register outputs	Clifford Wolf	2013-10-17
\|
*	Fixed detection of major wires in opt_clean	Clifford Wolf	2013-10-17
\|
*	Added iopadmap pass	Clifford Wolf	2013-10-16
\|
*	Moved dfflibmap from passes/dfflibmap to passes/techmap	Clifford Wolf	2013-10-16
\|
*	Fixed parsing or liberty file statements such as 'clocked_on : "(!CLK)";'	Clifford Wolf	2013-10-16
\| \| \| \|	Patch by Tim Edwards
*	Moved common techlib files to techlibs/common	Clifford Wolf	2013-09-15
\|
*	Some minor documentation fixes	Clifford Wolf	2013-08-21
\|
*	Minor fixes in abc build instructions and abc pass	Clifford Wolf	2013-08-20
\|
*	Added sat -ignore_div_by_zero switch	Clifford Wolf	2013-08-15
\|
*	Added eval -brute_force_equiv_checker_x mode	Clifford Wolf	2013-08-15
\|
*	Added "clean -purge" and ";;;" support	Clifford Wolf	2013-08-11
\|
*	Added ";;" as shortcut for "; clean;"	Clifford Wolf	2013-08-11
\|
*	freduce performance fix	Clifford Wolf	2013-08-10
\|
*	Added techmap -opt mode	Clifford Wolf	2013-08-09
\|