iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Fixed opt_clean performance bug	Clifford Wolf	2015-02-04	1	-26/+26
\|
*	Using design->selected_modules() in opt_*	Clifford Wolf	2015-02-03	5	-36/+20
\|
*	Merge pull request #48 from rubund/master	Clifford Wolf	2015-02-01	2	-3/+3
\|\ \| \| \| \|	Fixed typos found by lintian
\| *	Fixed typos found by lintian	Ruben Undheim	2015-02-01	2	-3/+3
\| \|
* \|	Improved performance in equiv_simple	Clifford Wolf	2015-02-01	1	-23/+72
\|/
*	Using selections in "ls" command	Clifford Wolf	2015-02-01	1	-34/+30
\|
*	Bugfix in opt_const $eq -> buffer code	Clifford Wolf	2015-01-31	1	-4/+4
\|
*	Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")	Clifford Wolf	2015-01-31	1	-12/+31
\|
*	Added "equiv_induct -undef"	Clifford Wolf	2015-01-31	1	-5/+50
\|
*	Added "equiv_simple -undef"	Clifford Wolf	2015-01-31	1	-17/+47
\|
*	Added "equiv_make -blacklist <file> -encfile <file>"	Clifford Wolf	2015-01-31	2	-5/+173
\|
*	Added "fsm -encfile"	Clifford Wolf	2015-01-30	2	-12/+41
\|
*	Improved an error message	Clifford Wolf	2015-01-28	1	-1/+1
\|
*	Fixed bug in equiv_miter	Clifford Wolf	2015-01-28	1	-6/+6
\|
*	Added "sat -show-ports"	Clifford Wolf	2015-01-27	1	-2/+7
\|
*	Rethrow with "catch(...) throw;"	Clifford Wolf	2015-01-25	2	-4/+4
\|
*	Added equiv_remove	Clifford Wolf	2015-01-25	2	-0/+84
\|
*	Added equiv_miter	Clifford Wolf	2015-01-25	2	-0/+344
\|
*	Added ENABLE_NDEBUG makefile options	Clifford Wolf	2015-01-24	3	-4/+12
\|
*	Various equiv_* improvements	Clifford Wolf	2015-01-24	4	-14/+20
\|
*	Added dict/pool.sort()	Clifford Wolf	2015-01-24	2	-0/+6
\|
*	Improvements in equiv_make, equiv_induct	Clifford Wolf	2015-01-22	2	-0/+46
\|
*	Improved xdot calling	Clifford Wolf	2015-01-22	1	-2/+2
\|
*	Added equiv_induct	Clifford Wolf	2015-01-22	2	-0/+182
\|
*	Various equiv_simple improvements	Clifford Wolf	2015-01-22	1	-25/+50
\|
*	Moved equiv stuff to passes/equiv/	Clifford Wolf	2015-01-22	5	-3/+5
\|
*	Progress in equiv_simple	Clifford Wolf	2015-01-21	1	-39/+105
\|
*	Fixed opt_muxtree performance bug	Clifford Wolf	2015-01-21	1	-11/+28
\|
*	Added equiv_simple	Clifford Wolf	2015-01-19	2	-0/+188
\|
*	Added equiv_status	Clifford Wolf	2015-01-19	2	-0/+95
\|
*	Added equiv_make command	Clifford Wolf	2015-01-19	2	-0/+249
\|
*	Refactoring of memory_bram and xilinx brams	Clifford Wolf	2015-01-18	1	-204/+407
\|
*	Improvements in opt_muxtree	Clifford Wolf	2015-01-18	1	-35/+50
\|
*	More opt_muxtree cleanups	Clifford Wolf	2015-01-18	1	-64/+44
\|
*	Various cleanups and improvements in opt_muxtree	Clifford Wolf	2015-01-18	1	-87/+71
\|
*	Added support for memories to flatten (techmap)	Clifford Wolf	2015-01-17	1	-3/+22
\|
*	Fixed a bug in opt_muxtree for "mux forests"	Clifford Wolf	2015-01-17	1	-4/+18
\|
*	Improved opt_muxtree	Clifford Wolf	2015-01-17	1	-4/+38
\|
*	Bugfix in dff2dffe	Clifford Wolf	2015-01-16	1	-1/+1
\|
*	Added "abc -lut w1:w2"	Clifford Wolf	2015-01-15	1	-5/+21
\|
*	Fixed handling of foo.__TECHMAP_...	Clifford Wolf	2015-01-15	1	-1/+1
\|
*	Re-enabled mux->and/or transform (and fixed lm32 in yosys-bigsim)	Clifford Wolf	2015-01-13	1	-5/+0
\|
*	Only enable code coverage counters on linux	Clifford Wolf	2015-01-09	1	-2/+2
\|
*	disabled problematic mux -> and/or transform	Clifford Wolf	2015-01-07	1	-2/+7
\|
*	memory_bram hotfix for memories with width 1	Clifford Wolf	2015-01-06	1	-3/+3
\|
*	removed old debug code	Clifford Wolf	2015-01-06	1	-1/+0
\|
*	Towards Xilinx bram support	Clifford Wolf	2015-01-06	1	-1/+0
\|
*	Various small improvements to synth_xilinx	Clifford Wolf	2015-01-06	1	-2/+2
\|
*	Towards Xilinx bram support	Clifford Wolf	2015-01-06	1	-1/+1
\|
*	dict<> ref vs insert bugfix	Clifford Wolf	2015-01-06	1	-10/+13
\|