yosys - Debian dgit repo for package yosys

	Commit message (Expand)	Author	Age
*	Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor	Ahmed Irfan	2014-01-15
\|\
\| *	Merge pull request #2 from cliffordwolf/master	Ahmed Irfan	2014-01-15
\| \|\
\| \| *	Merge pull request #20 from mschmoelzer/master	Clifford Wolf	2014-01-14
\| \| \|\
\| \| \| *	Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3))	Martin Schmölzer	2014-01-14
\| \| \|/
\| \| *	Added hierarchy -libdir option	Clifford Wolf	2014-01-14
\| \| *	renamed LibertyParer to LibertyParser	Clifford Wolf	2014-01-14
\| \| *	Added "+" to list of liberty token characters	Clifford Wolf	2014-01-14
* \| \|	BTOR backend	Ahmed Irfan	2014-01-14
* \| \|	Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor	Ahmed Irfan	2014-01-14
\|\\| \|
\| * \|	Merge pull request #1 from cliffordwolf/master	Ahmed Irfan	2014-01-14
\| \|\\|
\| \| *	Added "opt_const -mux_undef"	Clifford Wolf	2014-01-14
\| \|/
\| *	Fixed typo in frontends/ast/simplify.cc	Clifford Wolf	2014-01-12
\| *	Improved performance of freduce input cone reduction	Clifford Wolf	2014-01-04
\| *	Improved freduce performance on const signals	Clifford Wolf	2014-01-04
\| *	Performance improvements in freduce pass	Clifford Wolf	2014-01-03
\| *	More freduce cleanups	Clifford Wolf	2014-01-03
\| *	Added updating of RTLIL::autoidx to ilang frontend	Clifford Wolf	2014-01-03
\| *	Cleanups in freduce command	Clifford Wolf	2014-01-03
\| *	Fixed SAT and ConstEval undef handling for $pmux and $safe_pmux	Clifford Wolf	2014-01-03
\| *	Tiny cleanup in proc_mux.cc	Clifford Wolf	2014-01-03
* \|	splitnet -driver feature	Ahmed Irfan	2014-01-03
\|\\|
\| *	Added "splitnets -driver"	Clifford Wolf	2014-01-03
\| *	Use selection in freduce command	Clifford Wolf	2014-01-03
\| *	Another small freduce cleanup/bugfix	Clifford Wolf	2014-01-03
\| *	Added "connect" command	Clifford Wolf	2014-01-03
\| *	More freduce cleanups and bugfixes	Clifford Wolf	2014-01-03
\| *	Added RTLIL::SigSpec::optimized() API	Clifford Wolf	2014-01-03
* \|	Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor	Ahmed Irfan	2014-01-03
\|\\|
\| *	Added correct handling of $memwr priority	Clifford Wolf	2014-01-03
\| *	Fixed more complex undef cases in freduce	Clifford Wolf	2014-01-02
\| *	Now / is optional in /<mode>:<arg> selections	Clifford Wolf	2014-01-02
\| *	Added "rename -hide" command	Clifford Wolf	2014-01-02
\| *	Added SAT undef model for $pmux and $safe_pmux	Clifford Wolf	2014-01-02
\| *	More "freduce" related fixes and improvements	Clifford Wolf	2014-01-02
\| *	Added support for module->connections to select %ci, %co and %x handling	Clifford Wolf	2014-01-02
\| *	Some cleanups in freduce -inv mode (and switched from -noinv to -inv)	Clifford Wolf	2014-01-02
\| *	Added autotest.sh -p option	Clifford Wolf	2014-01-02
\| *	Major rewrite of "freduce" command	Clifford Wolf	2014-01-02
\| *	Updated CHANGELOG	Clifford Wolf	2014-01-01
\| *	Fixed use of limited length buffer in ABC blif parser	Clifford Wolf	2013-12-31
\| *	Use "abc -dff" in "make test"	Clifford Wolf	2013-12-31
\| *	Added abc -dff and -clk support	Clifford Wolf	2013-12-31
\| *	Various small cleanups in stdcells.v techmap code	Clifford Wolf	2013-12-31
\| *	Added additional checks for A_SIGNED == B_SIGNED for cells with that constraint	Clifford Wolf	2013-12-31
\| *	Updated ABC to hg rev 57517e81666b	Clifford Wolf	2013-12-31
\| *	Now using BLIF as ABC input format	Clifford Wolf	2013-12-31
\| *	Fixed commented out techmap call in tests/tools/autotest.sh	Clifford Wolf	2013-12-31
\| *	Always use BLIF as ABC output format	Clifford Wolf	2013-12-31
\| *	Fixed a stupid access after delete bug	Clifford Wolf	2013-12-29
\| *	Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)	Clifford Wolf	2013-12-29