iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Added various new options to splice command	Clifford Wolf	2014-02-08	1	-5/+105
\|
*	Added %a select operator	Clifford Wolf	2014-02-08	1	-0/+32
\|
*	Moved some passes to other source directories	Clifford Wolf	2014-02-08	9	-9/+3
\|
*	Added support for "keep" attribute to abc pass	Clifford Wolf	2014-02-08	1	-1/+1
\|
*	Added opt -purge (frontend to opt_clean -purge)	Clifford Wolf	2014-02-08	1	-3/+8
\|
*	Only count non-trivial attributes when findinf master signal in opt_clean	Clifford Wolf	2014-02-08	1	-2/+13
\|
*	Now also move net labes to the right position in splice cmd	Clifford Wolf	2014-02-08	1	-3/+10
\|
*	Improved detection of primary wire for a signal in opt_clean	Clifford Wolf	2014-02-07	1	-4/+23
\|
*	Added splice command	Clifford Wolf	2014-02-07	2	-0/+253
\|
*	Added log_header() to splitnets	Clifford Wolf	2014-02-07	1	-0/+2
\|
*	Added $slice and $concat cell types	Clifford Wolf	2014-02-07	1	-0/+18
\|
*	Re-enabled abc "retime" after sorting yout the yosys-bigsim problem	Clifford Wolf	2014-02-07	1	-7/+0
\|
*	Fixed use of "cmd_error" in passes/cmds/design.cc	Clifford Wolf	2014-02-07	1	-2/+2
\|
*	Disabled ABC retime for now (elliptic_curve_group testcase in yosys-bigsim ↵	Clifford Wolf	2014-02-06	1	-0/+7
\| \| \| \|	failed)
*	Added "retime" to standard ABC recipes	Clifford Wolf	2014-02-06	1	-4/+4
\|
*	Added copy command	Clifford Wolf	2014-02-06	2	-0/+55
\|
*	Added design -stash/-copy-from/-copy-to	Clifford Wolf	2014-02-06	1	-13/+99
\|
*	Added support for s: select expressions (wire width)	Clifford Wolf	2014-02-06	1	-1/+21
\|
*	Added i:, o:, and x: selection pattern	Clifford Wolf	2014-02-06	1	-0/+18
\|
*	Added support for %m selection op	Clifford Wolf	2014-02-06	1	-0/+16
\|
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2014-02-06	1	-0/+25
\|\
\| *	new %s: add sub-modules to selection	Johann Glaser	2014-02-06	1	-0/+25
\| \|
* \|	Added generic RTLIL::SigSpec::parse_sel() with support for selection variables	Clifford Wolf	2014-02-06	3	-37/+20
\|/
*	Added support for sat -show @<sel_name>	Clifford Wolf	2014-02-06	1	-0/+17
\|
*	Added sat -set-init-def and sat -tempinduct-def	Clifford Wolf	2014-02-06	1	-4/+34
\|
*	Added opt_const -undriven	Clifford Wolf	2014-02-06	2	-3/+68
\|
*	Added expose -dff	Clifford Wolf	2014-02-06	1	-1/+44
\|
*	Changed techmap description from "simple" to "generic"	Clifford Wolf	2014-02-06	1	-1/+1
\|
*	Added miter -make_outcmp	Clifford Wolf	2014-02-06	1	-2/+23
\|
*	Added sat -set-init-zero support	Clifford Wolf	2014-02-06	1	-2/+22
\|
*	Added sat -verify and -falsify support for non-prove cases	Clifford Wolf	2014-02-06	1	-14/+26
\|
*	Added expose command	Clifford Wolf	2014-02-05	2	-0/+264
\|
*	Simplified select "Assertation failed" message generation	Clifford Wolf	2014-02-05	1	-16/+4
\|
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2014-02-05	1	-7/+24
\|\
\| *	be more verbose for select -assert-any and -assert-none	Johann Glaser	2014-02-05	1	-2/+16
\| \|
\| *	improved help for "select"	Johann Glaser	2014-02-05	1	-5/+8
\| \|
* \|	Added selection support for r: and selection with relational operators	Clifford Wolf	2014-02-05	1	-34/+80
\|/
*	Added setattr and setparam commands	Clifford Wolf	2014-02-05	2	-0/+181
\|
*	Throw errors if non-existing selection variables are used	Clifford Wolf	2014-02-04	1	-3/+4
\|
*	Added select -none	Clifford Wolf	2014-02-04	1	-4/+20
\|
*	Fixed detection of init attribute in opt_rmdff	Clifford Wolf	2014-02-04	1	-1/+1
\|
*	Added support for inline commands to abc -script	Clifford Wolf	2014-02-04	1	-39/+75
\|
*	Added hierarchy -purge_lib option	Clifford Wolf	2014-02-04	1	-3/+14
\|
*	added sat -falsify	Clifford Wolf	2014-02-04	1	-4/+28
\|
*	Fixed bug in sequential sat proofs and improved handling of asserts	Clifford Wolf	2014-02-04	1	-2/+27
\|
*	Improved handling of reg init in opt_share and opt_rmdff	Clifford Wolf	2014-02-04	2	-7/+48
\|
*	Addred sat option -ignore_unknown_cells	Clifford Wolf	2014-02-03	1	-3/+17
\|
*	Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)	Clifford Wolf	2014-02-03	4	-64/+84
\|
*	More opt_const -mux_bool features	Clifford Wolf	2014-02-02	1	-7/+46
\|
*	Added opt_const -mux_bool	Clifford Wolf	2014-02-02	2	-7/+47
\|