iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	format fixes in "sat -dump_json"	Clifford Wolf	2015-02-19	1	-18/+17
\|
*	Added "sat -dump_json" (WaveJSON format)	Clifford Wolf	2015-02-19	1	-4/+92
\|
*	Changed "show" defaults for Win32	Clifford Wolf	2015-02-19	1	-1/+4
\|
*	Fixed clang (svn trunk) warnings	Clifford Wolf	2015-02-18	1	-2/+0
\|
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2015-02-18	1	-1/+1
\|\
\| *	wreduce help typo fix	Clifford Wolf	2015-02-17	1	-1/+1
\| \|
* \|	Added "select %xe %cie %coe"	Clifford Wolf	2015-02-18	1	-7/+28
\|/
*	Bugfix in wreduce	Clifford Wolf	2015-02-16	1	-7/+14
\|
*	Added Viz to yosys.js	Clifford Wolf	2015-02-15	1	-1/+6
\|
*	Added "check -noinit"	Clifford Wolf	2015-02-15	1	-3/+19
\|
*	Cosmetic fixes in "hierarchy" for blackbox modules	Clifford Wolf	2015-02-15	1	-2/+4
\|
*	More emscripten stuff, Added example app	Clifford Wolf	2015-02-15	1	-0/+2
\|
*	Fixed "stat" handling of blackbox modules	Clifford Wolf	2015-02-14	1	-9/+6
\|
*	Various fixes for memories with offsets	Clifford Wolf	2015-02-14	2	-5/+17
\|
*	Added $meminit support to "memory" command	Clifford Wolf	2015-02-14	3	-30/+69
\|
*	Added $meminit cell type	Clifford Wolf	2015-02-14	1	-1/+1
\|
*	hotfix in "check" command	Clifford Wolf	2015-02-13	1	-1/+2
\|
*	Added "check" command	Clifford Wolf	2015-02-13	2	-0/+127
\|
*	Some test related fixes	Clifford Wolf	2015-02-12	1	-1/+1
\| \| \| \|	(incl. removal of three bad test cases)
*	Added "proc_dlatch"	Clifford Wolf	2015-02-12	3	-1/+311
\|
*	Less aggressive "share" defaults	Clifford Wolf	2015-02-10	1	-4/+6
\|
*	Added "scc -expect <N> -nofeedback"	Clifford Wolf	2015-02-10	1	-7/+48
\|
*	Fixed iterator invalidation bug in "rename" command	Clifford Wolf	2015-02-09	1	-3/+4
\|
*	Fixed bug in "show -format .."	Clifford Wolf	2015-02-08	1	-1/+1
\|
*	Fixed eval_select_op() api	Clifford Wolf	2015-02-08	1	-1/+1
\|
*	Added eval_select_args() and eval_select_op()	Clifford Wolf	2015-02-08	1	-4/+27
\|
*	Added equiv_add	Clifford Wolf	2015-02-08	2	-0/+90
\|
*	Added "select -read"	Clifford Wolf	2015-02-06	1	-5/+39
\|
*	Added onehot attribute	Clifford Wolf	2015-02-04	2	-0/+16
\|
*	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
\|