iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Disable opt_merge for $anyseq and $anyconst	Clifford Wolf	2017-02-28	1	-0/+3
\|
*	Add "chformal -assert2assume" and friends	Clifford Wolf	2017-02-28	1	-0/+44
\|
*	Add "chformal" pass	Clifford Wolf	2017-02-27	2	-0/+239
\|
*	Add $live and $fair cell types, add support for s_eventually keyword	Clifford Wolf	2017-02-25	3	-4/+2
\|
*	Copy attributes to _TECHMAP_REPLACE_ cells	Clifford Wolf	2017-02-16	1	-2/+8
\|
*	Do not fix port widths on any blackbox instances	Clifford Wolf	2017-02-13	1	-1/+1
\|
*	Fix techmap for inout ports connected to inout ports	Clifford Wolf	2017-02-13	1	-2/+7
\|
*	Do not eagerly fix port widths on parameterized cells	Clifford Wolf	2017-02-12	1	-0/+3
\|
*	Fixed some "used uninitialized" warnings in opt_expr	Clifford Wolf	2017-02-11	1	-1/+2
\|
*	Add optimization of (a && 1'b1) and (a \|\| 1'b0)	Clifford Wolf	2017-02-11	1	-7/+22
\|
*	Fix issue #306, "Bug in opt -full"	C-Elegans	2017-02-10	1	-1/+19
\| \| \| \| \| \|	Add check for whether the high bit in the constant expression is greater than the width of the variable, and optimizes that to a constant 1 or 0
*	Fix handling of init attributes with strange width	Clifford Wolf	2017-02-09	2	-3/+9
\|
*	Add $cover cell type and SVA cover() support	Clifford Wolf	2017-02-04	2	-2/+2
\|
*	Update ABC scripts to use "&nf" instead of "map"	Clifford Wolf	2017-02-01	1	-3/+3
\|
*	Fix indenting and log messages in code merged from opt_compare_pr	Clifford Wolf	2017-01-31	1	-102/+120
\|
*	Merge branch 'opt_compare_pr' of https://github.com/C-Elegans/yosys into ↵	Clifford Wolf	2017-01-31	1	-1/+103
\|\ \| \| \| \| \| \|	C-Elegans-opt_compare_pr
\| *	Refactor and generalize the comparision optimization	C-Elegans	2017-01-30	1	-22/+42
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Generalizes the optimization to: a < C, a >= C, C > a, C <= a
\| *	Do not use b.as_int() in calculation of bit set	C-Elegans	2017-01-21	1	-8/+29
\| \|
\| *	Optimize compares to powers of 2	C-Elegans	2017-01-16	4	-81/+61
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Remove opt_compare and put comparison pass in opt_expr assuming a [7:0] is unsigned a >= (1<<x) becomes \|a[7:x] a < (1<<x) becomes !a[7:x] Additionally: a >= 0 becomes constant true, a < 0 becomes constant false delete opt_compare.cc revert opt.cc to commit b7cfb7dbd (remove opt_compare step)
\| *	Fix issue #269, optimize signed compare with 0	C-Elegans	2017-01-15	3	-0/+81
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	add opt_compare pass and add it to opt for a < 0: if a is signed, replace with a[max_bit-1] for a >= 0: if a is signed, replace with ~a[max_bit-1]
* \|	Improve opt_rmdff support for $dlatch cells	Clifford Wolf	2017-01-31	1	-4/+22
\| \|
* \|	Add $ff and $_FF_ support to equiv_simple	Clifford Wolf	2017-01-30	1	-2/+2
\| \|
* \|	Be more conservative with merging large cells into FSMs	Clifford Wolf	2017-01-26	1	-3/+17
\| \|
* \|	Add warnings for quickly growing FSM table size in fsm_expand	Clifford Wolf	2017-01-26	1	-0/+10
\| \|
* \|	passes/hierarchy: delete some dead code	Austin Seipp	2017-01-15	1	-4/+0
\|/ \| \| \|	Signed-off-by: Austin Seipp <aseipp@pobox.com>
*	Added "check -initdrv"	Clifford Wolf	2017-01-04	1	-3/+82
\|
*	Added cell port resizing to hierarchy pass	Clifford Wolf	2017-01-01	1	-0/+56
\|
*	Added "design -reset-vlog"	Clifford Wolf	2016-11-30	1	-7/+32
\|
*	Improved equiv_purge log output	Clifford Wolf	2016-11-29	1	-1/+1
\|
*	Added wire start_offset and upto handling to splitnets cmd	Clifford Wolf	2016-11-23	1	-2/+8
\|
*	Improved ABC default scripts	Clifford Wolf	2016-11-19	1	-17/+34
\|
*	Added support for hierarchical defparams	Clifford Wolf	2016-11-15	1	-1/+1
\|
*	Minor bugfix in submod	Clifford Wolf	2016-11-09	1	-0/+1
\|
*	Bugfix in "setundef" pass	Clifford Wolf	2016-11-08	1	-2/+7
\|
*	Implemented "scc -set_attr"	Clifford Wolf	2016-11-06	1	-22/+32
\|
*	Bugfix in "scc" command	Clifford Wolf	2016-11-06	1	-9/+11
\|
*	Bugfix in "hierarchy -check"	Clifford Wolf	2016-11-02	1	-1/+1
\|
*	Added support for fsm_encoding="user"	Clifford Wolf	2016-11-02	1	-3/+3
\|
*	Added "fsm_expand -full"	Clifford Wolf	2016-11-02	2	-17/+35
\|
*	Bugfix in fsm_map for FSMs without reset state	Clifford Wolf	2016-10-25	1	-1/+2
\|
*	Added avail params to ilang format, check module params in 'hierarchy -check'	Clifford Wolf	2016-10-22	1	-0/+4
\|
*	Added "setparam -type"	Clifford Wolf	2016-10-19	1	-3/+13
\|
*	Bugfix in "miter -assert" handling of assumptions	Clifford Wolf	2016-10-17	1	-2/+2
\|
*	Added clk2fflogic support for $dffsr and $dlatch	Clifford Wolf	2016-10-17	1	-1/+57
\|
*	Improvements and bugfixes in clk2fflogic	Clifford Wolf	2016-10-16	1	-13/+21
\|
*	Build fixes for VS 2015	Clifford Wolf	2016-10-16	2	-1/+4
\|
*	Some minor build fixes for Visual C	Clifford Wolf	2016-10-14	1	-2/+11
\|
*	Avoid using strcasecmp()	Clifford Wolf	2016-10-14	1	-2/+21
\|
*	Added clk2fflogic	Clifford Wolf	2016-10-14	2	-0/+154
\|
*	Added opt_rmdff support for $ff cells	Clifford Wolf	2016-10-14	1	-5/+13
\|