iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
\| *	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
\|
*	Added support for inverter chains to opt_const	Clifford Wolf	2014-02-02	1	-1/+21
\|
*	Only generate write-enable $and if WE is not constant 1 in memory_map	Clifford Wolf	2014-02-02	1	-15/+18
\|
*	Added constant-clock case to opt_rmdff	Clifford Wolf	2014-02-02	1	-0/+8
\|
*	Added show -notitle option	Clifford Wolf	2014-02-02	1	-4/+14
\|
*	Added delete command	Clifford Wolf	2014-02-02	2	-0/+135
\|
*	Added suuport for module attribute matching with A:<pattern>[=<pattern>] syntax	Clifford Wolf	2014-02-02	1	-5/+22
\|
*	Fixed a bug in miter command	Clifford Wolf	2014-02-01	1	-2/+2
\|
*	Added sat -show-inputs and -show-outputs	Clifford Wolf	2014-02-01	1	-1/+24
\|
*	Added show -color support for cells and finished show -label implementation	Clifford Wolf	2014-02-01	1	-13/+36
\|
*	Added miter command	Clifford Wolf	2014-02-01	2	-0/+307
\|
*	enabled multiple "-map" for the extract pass	Johann Glaser	2014-01-25	1	-17/+25
\|
*	Added support for // comments in liberty parser	Clifford Wolf	2014-01-25	1	-0/+5
\|
*	Added hilomap command	Clifford Wolf	2014-01-19	2	-0/+130
\|
*	Added sat -tempinduc and sat -prove-asserts	Clifford Wolf	2014-01-19	1	-10/+41
\|
*	Added $assert cell	Clifford Wolf	2014-01-19	1	-1/+1
\|
*	Improved setundef random number generator	Clifford Wolf	2014-01-18	1	-1/+1
\|
*	Added setundef command	Clifford Wolf	2014-01-17	2	-0/+158
\|
*	Added support for $adff with undef data inputs to opt_rmdff	Clifford Wolf	2014-01-17	1	-0/+6
\|
*	Added select -assert-none and -assert-any	Clifford Wolf	2014-01-17	1	-7/+44
\|
*	Added automatic memid generation to memory_unpack command	Clifford Wolf	2014-01-17	1	-2/+2
\|
*	Added memory_unpack command	Clifford Wolf	2014-01-17	2	-0/+117
\|
*	Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3))	Martin Schmölzer	2014-01-14	1	-0/+1
\| \| \| \| \| \|	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	1	-4/+48
\|
*	renamed LibertyParer to LibertyParser	Clifford Wolf	2014-01-14	3	-9/+9
\|
*	Added "+" to list of liberty token characters	Clifford Wolf	2014-01-14	1	-2/+2
\|
*	Added "opt_const -mux_undef"	Clifford Wolf	2014-01-14	1	-5/+71
\|
*	Improved performance of freduce input cone reduction	Clifford Wolf	2014-01-04	1	-23/+78
\|
*	Improved freduce performance on const signals	Clifford Wolf	2014-01-04	1	-13/+63
\|
*	Performance improvements in freduce pass	Clifford Wolf	2014-01-03	1	-27/+69
\|
*	More freduce cleanups	Clifford Wolf	2014-01-03	1	-0/+24
\|
*	Cleanups in freduce command	Clifford Wolf	2014-01-03	1	-2/+5
\|
*	Tiny cleanup in proc_mux.cc	Clifford Wolf	2014-01-03	1	-3/+0
\|
*	Added "splitnets -driver"	Clifford Wolf	2014-01-03	1	-29/+96
\|
*	Use selection in freduce command	Clifford Wolf	2014-01-03	1	-5/+20
\|