iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Using design->selected_modules() in opt_*	Clifford Wolf	2015-02-03	5	-36/+20
*	Skip blackbox modules in design->selected_modules()	Clifford Wolf	2015-02-03	1	-3/+5
*	Added "yosys -L logfile"	Clifford Wolf	2015-02-03	1	-1/+7
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2015-02-01	2	-3/+3
\|\
\| *	Merge pull request #48 from rubund/master	Clifford Wolf	2015-02-01	2	-3/+3
\| \|\
\| \| *	Fixed typos found by lintian	Ruben Undheim	2015-02-01	2	-3/+3
* \| \|	no support for 6-series xilinx devices	Clifford Wolf	2015-02-01	1	-1/+1
\|/ /
* /	Improved performance in equiv_simple	Clifford Wolf	2015-02-01	2	-23/+73
\|/
*	Removed old XST-based xilinx examples	Clifford Wolf	2015-02-01	11	-208/+0
*	Added Xilinx example for Basys3 board	Clifford Wolf	2015-02-01	9	-1/+84
*	Added EDIF backend support for multi-bit cell ports	Clifford Wolf	2015-02-01	1	-11/+10
*	Added missing ports and parameters to xilinx brams	Clifford Wolf	2015-02-01	1	-4/+18
*	Added "make mklibyosys", some minor API changes	Clifford Wolf	2015-02-01	7	-11/+70
*	Minor README changes	Clifford Wolf	2015-02-01	1	-3/+2
*	Removed TODO list from README file	Clifford Wolf	2015-02-01	1	-30/+0
*	Added yosys_banner(), Updated Copyright range	Clifford Wolf	2015-02-01	4	-26/+31
*	Added <algorithm> include to hashlib.h	Clifford Wolf	2015-02-01	1	-0/+1
*	Using selections in "ls" command	Clifford Wolf	2015-02-01	1	-34/+30
*	Shorter "dump" options	Clifford Wolf	2015-01-31	1	-4/+4
*	Bugfix in opt_const $eq -> buffer code	Clifford Wolf	2015-01-31	1	-4/+4
*	Log msg change	Clifford Wolf	2015-01-31	1	-1/+1
*	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	2	-6/+51
*	Added "equiv_simple -undef"	Clifford Wolf	2015-01-31	2	-17/+61
*	Added "equiv_make -blacklist <file> -encfile <file>"	Clifford Wolf	2015-01-31	4	-5/+189
*	Synced RTLIL::unescape_id() to log_id() behavior	Clifford Wolf	2015-01-30	1	-3/+9
*	Added "fsm -encfile"	Clifford Wolf	2015-01-30	3	-14/+50
*	More log_id() stuff	Clifford Wolf	2015-01-30	1	-3/+7
*	Some cleanups in log.cc	Clifford Wolf	2015-01-30	1	-14/+16
*	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
*	Bugfix in resource sharing test	Clifford Wolf	2015-01-27	1	-1/+1
*	Updaed ABC to hg rev 61ad5f908c03	Clifford Wolf	2015-01-27	1	-1/+1
*	Rethrow with "catch(...) throw;"	Clifford Wolf	2015-01-25	3	-6/+6
*	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	12	-12/+33
*	Added #ifdef NDEBUG for log_assert()	Clifford Wolf	2015-01-24	1	-1/+5
*	Fixed xilinx FDSE sim model	Clifford Wolf	2015-01-24	1	-2/+2
*	Various equiv_* improvements	Clifford Wolf	2015-01-24	4	-14/+20
*	Added dict/pool.sort()	Clifford Wolf	2015-01-24	7	-50/+80
*	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	2	-25/+69
*	Moved equiv stuff to passes/equiv/	Clifford Wolf	2015-01-22	5	-3/+5
*	Progress in equiv_simple	Clifford Wolf	2015-01-21	2	-41/+110
*	Fixed opt_muxtree performance bug	Clifford Wolf	2015-01-21	1	-11/+28
*	Faster "make clean-abc"	Clifford Wolf	2015-01-20	1	-2/+2