iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Another small freduce cleanup/bugfix	Clifford Wolf	2014-01-03	1	-1/+2
*	Added "connect" command	Clifford Wolf	2014-01-03	2	-0/+186
*	More freduce cleanups and bugfixes	Clifford Wolf	2014-01-03	1	-11/+32
*	Added correct handling of $memwr priority	Clifford Wolf	2014-01-03	1	-2/+19
*	Fixed more complex undef cases in freduce	Clifford Wolf	2014-01-02	1	-4/+36
*	Now / is optional in /<mode>:<arg> selections	Clifford Wolf	2014-01-02	1	-1/+4
*	Added "rename -hide" command	Clifford Wolf	2014-01-02	1	-1/+44
*	More "freduce" related fixes and improvements	Clifford Wolf	2014-01-02	1	-19/+67
*	Added support for module->connections to select %ci, %co and %x handling	Clifford Wolf	2014-01-02	1	-0/+15
*	Some cleanups in freduce -inv mode (and switched from -noinv to -inv)	Clifford Wolf	2014-01-02	1	-26/+29
*	Major rewrite of "freduce" command	Clifford Wolf	2014-01-02	3	-281/+335
*	Fixed use of limited length buffer in ABC blif parser	Clifford Wolf	2013-12-31	1	-7/+16
*	Added abc -dff and -clk support	Clifford Wolf	2013-12-31	3	-34/+173
*	Now using BLIF as ABC input format	Clifford Wolf	2013-12-31	1	-37/+54
*	Always use BLIF as ABC output format	Clifford Wolf	2013-12-31	5	-268/+31
*	Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)	Clifford Wolf	2013-12-29	1	-2/+2
*	Added new cell types to manual	Clifford Wolf	2013-12-28	1	-1/+1
*	Added $bu0 cell (for easy correct $eq/$ne mapping)	Clifford Wolf	2013-12-28	1	-0/+13
*	Added sat -prove-x and -set-def-inputs	Clifford Wolf	2013-12-28	1	-32/+96
*	Improved $_MUX_ handling in opt_const	Clifford Wolf	2013-12-28	1	-10/+9
*	More conservastive $eq/$ne/$eqx/$nex opt_const code	Clifford Wolf	2013-12-28	1	-8/+2
*	More $eq/$ne/$eqx/$nex fixes in opt_const	Clifford Wolf	2013-12-27	1	-1/+8
*	Fixed/improved opt_const $eq/$ne/$eqx/$nex handling	Clifford Wolf	2013-12-27	1	-1/+3
*	Added support for non-const === and !== (for miter circuits)	Clifford Wolf	2013-12-27	3	-7/+11
*	Added sat -set-def/-set-*-undef support	Clifford Wolf	2013-12-27	1	-5/+66
*	Renamed sat -set-undef to -set-any-undef	Clifford Wolf	2013-12-27	1	-20/+20
*	Fixed dfflibmap for unused output ports	Clifford Wolf	2013-12-21	1	-0/+1
*	Now prefer smallest cells in dfflibmap	Clifford Wolf	2013-12-21	1	-2/+22
*	Cleanup of dfflibmap cellmap exploration code	Clifford Wolf	2013-12-20	1	-17/+20
*	Further improved dfflibmap cellmap exploration	Clifford Wolf	2013-12-20	1	-14/+18
*	Fixed dfflibmap endless-loop bug	Clifford Wolf	2013-12-20	1	-0/+1
*	Prefer non-inverted clocks in dfflibmap	Clifford Wolf	2013-12-19	1	-6/+8
*	Added sat -max_undef feature	Clifford Wolf	2013-12-07	1	-11/+50
*	Added "sat" undef support and "sat -set-init" options	Clifford Wolf	2013-12-07	1	-40/+146
*	Fixed compiler warining in passes/sat/eval.cc	Clifford Wolf	2013-12-07	1	-2/+2
*	Added eval -set-undef and eval -table	Clifford Wolf	2013-12-07	1	-11/+140
*	Fixes in fsm detect/extract for better detection of non-fsm circuits	Clifford Wolf	2013-12-06	2	-4/+4
*	Replaced signed_parameters API with CONST_FLAG_SIGNED	Clifford Wolf	2013-12-04	2	-2/+2
*	Replaced RTLIL::Const::str with generic decoder method	Clifford Wolf	2013-12-04	12	-34/+24
*	Fixed submod for non-primitive cells	Clifford Wolf	2013-12-02	1	-0/+1
*	Fixed submod for non-cleaned designs	Clifford Wolf	2013-12-02	1	-1/+4
*	A fix in memory_dff for write ports with static addresses	Clifford Wolf	2013-12-01	1	-10/+10
*	Progress on AppNote 011	Clifford Wolf	2013-11-29	1	-0/+4
*	Added pattern support to "ls" command	Clifford Wolf	2013-11-28	1	-30/+35
*	Improved ID matching scheme in select (and thus for all commands)	Clifford Wolf	2013-11-28	1	-2/+12
*	Fixes and improvements in "show" command	Clifford Wolf	2013-11-28	1	-10/+42
*	Added "src" attribute to processes	Clifford Wolf	2013-11-28	1	-1/+4
*	Added support for "show -pause" and "show -format dot"	Clifford Wolf	2013-11-28	1	-6/+30
*	Tighter integration of ABC build	Clifford Wolf	2013-11-27	1	-0/+2
*	Started implementing undef support in "sat" command	Clifford Wolf	2013-11-25	1	-12/+103