yosys - Debian dgit repo for package yosys

	Commit message (Collapse)	Author	Age
*	Added hilomap command	Clifford Wolf	2014-01-19
\|
*	Added sat -tempinduc and sat -prove-asserts	Clifford Wolf	2014-01-19
\|
*	Added $assert cell	Clifford Wolf	2014-01-19
\|
*	Improved setundef random number generator	Clifford Wolf	2014-01-18
\|
*	Added setundef command	Clifford Wolf	2014-01-17
\|
*	Added support for $adff with undef data inputs to opt_rmdff	Clifford Wolf	2014-01-17
\|
*	Added select -assert-none and -assert-any	Clifford Wolf	2014-01-17
\|
*	Added automatic memid generation to memory_unpack command	Clifford Wolf	2014-01-17
\|
*	Added memory_unpack command	Clifford Wolf	2014-01-17
\|
*	Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3))	Martin Schmölzer	2014-01-14
\| \| \| \| \| \|	This fixes compilation errors on Arch Linux. Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>
*	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
\|
*	Added "opt_const -mux_undef"	Clifford Wolf	2014-01-14
\|
*	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
\|
*	Cleanups in freduce command	Clifford Wolf	2014-01-03
\|
*	Tiny cleanup in proc_mux.cc	Clifford Wolf	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 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
\|
*	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
\|
*	Major rewrite of "freduce" command	Clifford Wolf	2014-01-02
\|
*	Fixed use of limited length buffer in ABC blif parser	Clifford Wolf	2013-12-31
\|
*	Added abc -dff and -clk support	Clifford Wolf	2013-12-31
\|
*	Now using BLIF as ABC input format	Clifford Wolf	2013-12-31
\|
*	Always use BLIF as ABC output format	Clifford Wolf	2013-12-31
\|
*	Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)	Clifford Wolf	2013-12-29
\|
*	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
\|
*	More $eq/$ne/$eqx/$nex fixes in opt_const	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 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
\|