yosys - Debian dgit repo for package yosys

	Commit message (Expand)	Author	Age
*	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
*	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
*	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
*	Some fixes to improve determinism	Clifford Wolf	2013-08-09
*	Sort ctrl signals in fsm_extract	Clifford Wolf	2013-08-08
*	Added -try option to freduce pass	Clifford Wolf	2013-08-08
*	Added "clean" command (less verbose opt_clean)	Clifford Wolf	2013-08-08
*	Fixed topological ordering in freduce pass	Clifford Wolf	2013-08-07
*	Improved handling of private names in opt_clean and rename commands	Clifford Wolf	2013-08-07
*	Small bugfixes in freduce pass	Clifford Wolf	2013-08-06
*	Added freduce command	Clifford Wolf	2013-08-06
*	Added "design" command (-reset, -save, -load)	Clifford Wolf	2013-07-27
*	Automatically run "proc" on extract map files	Clifford Wolf	2013-07-24
*	Added $lut cells and abc lut mapping support	Clifford Wolf	2013-07-23
*	Bugfixes for empty signal vectors	Clifford Wolf	2013-07-10
*	Added opt_clean -purge option	Clifford Wolf	2013-07-07
*	Fixed handling of $eq and $ne in opt_const	Clifford Wolf	2013-07-07
*	Added SAT support for -all/-max with -verify	Clifford Wolf	2013-06-23
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2013-06-20
\|\
\| *	Added renaming of wires and cells to "rename" command	Clifford Wolf	2013-06-19
* \|	Added timout functionality to SAT solver	Clifford Wolf	2013-06-20
\|/
*	Added "eval" pass	Clifford Wolf	2013-06-19
*	Added splitnets command	Clifford Wolf	2013-06-18
*	Added support for "assign" statements in abc vlparse	Clifford Wolf	2013-06-15
*	Fixed even more ConstEval bugs found using xsthammer	Clifford Wolf	2013-06-14