yosys - Debian dgit repo for package yosys

	Commit message (Collapse)	Author	Age
...
*	Added new cell types to manual	Clifford Wolf	2013-12-28
\|
*	Added $bu0 cell (for easy correct $eq/$ne mapping)	Clifford Wolf	2013-12-28
\|
*	Added sat -prove-x and -set-def-inputs	Clifford Wolf	2013-12-28
\|
*	Improved $_MUX_ handling in opt_const	Clifford Wolf	2013-12-28
\|
*	More conservastive $eq/$ne/$eqx/$nex opt_const code	Clifford Wolf	2013-12-28
\|
*	Fixed sat handling of $eqx and $nex with unequal port widths	Clifford Wolf	2013-12-27
\|
*	Fixed parsing of non-arg macro calls followed by "("	Clifford Wolf	2013-12-27
\|
*	Small cleanup in SatGen	Clifford Wolf	2013-12-27
\|
*	More $eq/$ne/$eqx/$nex fixes in opt_const	Clifford Wolf	2013-12-27
\|
*	Fixed parsing of macros with no arguments and expansion text starting with "("	Clifford Wolf	2013-12-27
\|
*	Fixed sat handling of $eqx and $nex cells	Clifford Wolf	2013-12-27
\|
*	Fixed/improved opt_const $eq/$ne/$eqx/$nex handling	Clifford Wolf	2013-12-27
\|
*	Added support for non-const === and !== (for miter circuits)	Clifford Wolf	2013-12-27
\|
*	Added proper === and !== support in constant expressions	Clifford Wolf	2013-12-27
\|
*	Added sat -set-def/-set-*-undef support	Clifford Wolf	2013-12-27
\|
*	Renamed sat -set-undef to -set-any-undef	Clifford Wolf	2013-12-27
\|
*	Fixed dfflibmap for unused output ports	Clifford Wolf	2013-12-21
\|
*	Now prefer smallest cells in dfflibmap	Clifford Wolf	2013-12-21
\|
*	Cleanup of dfflibmap cellmap exploration code	Clifford Wolf	2013-12-20
\|
*	Further improved dfflibmap cellmap exploration	Clifford Wolf	2013-12-20
\|
*	Fixed dfflibmap endless-loop bug	Clifford Wolf	2013-12-20
\|
*	Added log_dump() API	Clifford Wolf	2013-12-20
\|
*	Prefer non-inverted clocks in dfflibmap	Clifford Wolf	2013-12-19
\|
*	Added multiplier test case from eda playground	Clifford Wolf	2013-12-18
\|
*	Added elsif preproc support	Clifford Wolf	2013-12-18
\|
*	Added support for macro arguments	Clifford Wolf	2013-12-18
\|
*	Fixes and other changes in README	Clifford Wolf	2013-12-08
\|
*	Finished AppNote 011	Clifford Wolf	2013-12-08
\|
*	Progress on AppNote 011	Clifford Wolf	2013-12-08
\|
*	Added sat -max_undef feature	Clifford Wolf	2013-12-07
\|
*	Progress on AppNote 011	Clifford Wolf	2013-12-07
\|
*	Added "sat" undef support and "sat -set-init" options	Clifford Wolf	2013-12-07
\|
*	Fixed uninitialized const flags bug	Clifford Wolf	2013-12-07
\|
*	Fixed compiler warining in passes/sat/eval.cc	Clifford Wolf	2013-12-07
\|
*	Progress on AppNote 011	Clifford Wolf	2013-12-07
\|
*	Progress on AppNote 011	Clifford Wolf	2013-12-07
\|
*	Added eval -set-undef and eval -table	Clifford Wolf	2013-12-07
\|
*	Fixes and improvements in RTLIL::SigSpec::parse	Clifford Wolf	2013-12-07
\|
*	Fixes in fsm detect/extract for better detection of non-fsm circuits	Clifford Wolf	2013-12-06
\|
*	Fixed bug in example prog in appnote 011	Clifford Wolf	2013-12-05
\|
*	Keep strings as strings in const ternary and concat	Clifford Wolf	2013-12-05
\|
*	Added const folding support for $signed and $unsigned	Clifford Wolf	2013-12-05
\|
*	Added AstNode::mkconst_str API	Clifford Wolf	2013-12-05
\|
*	Fixed generate-for (and disabled double warning for auto-wire)	Clifford Wolf	2013-12-04
\|
*	Added support for $clog2 system function	Clifford Wolf	2013-12-04
\|
*	Various improvements in support for generate statements	Clifford Wolf	2013-12-04
\|
*	Replaced signed_parameters API with CONST_FLAG_SIGNED	Clifford Wolf	2013-12-04
\|
*	Replaced RTLIL::Const::str with generic decoder method	Clifford Wolf	2013-12-04
\|
*	Fix in sincos testbench gen	Clifford Wolf	2013-12-04
\|
*	Added sincos test case	Clifford Wolf	2013-12-04
\|