yosys - Debian dgit repo for package yosys

	Commit message (Collapse)	Author	Age
*	Added "check -noinit"	Clifford Wolf	2015-02-15
\|
*	Cosmetic fixes in "hierarchy" for blackbox modules	Clifford Wolf	2015-02-15
\|
*	More emscripten stuff, Added example app	Clifford Wolf	2015-02-15
\|
*	Fixed "stat" handling of blackbox modules	Clifford Wolf	2015-02-14
\|
*	Various fixes for memories with offsets	Clifford Wolf	2015-02-14
\|
*	Added $meminit support to "memory" command	Clifford Wolf	2015-02-14
\|
*	Added $meminit cell type	Clifford Wolf	2015-02-14
\|
*	hotfix in "check" command	Clifford Wolf	2015-02-13
\|
*	Added "check" command	Clifford Wolf	2015-02-13
\|
*	Some test related fixes	Clifford Wolf	2015-02-12
\| \| \| \|	(incl. removal of three bad test cases)
*	Added "proc_dlatch"	Clifford Wolf	2015-02-12
\|
*	Less aggressive "share" defaults	Clifford Wolf	2015-02-10
\|
*	Added "scc -expect <N> -nofeedback"	Clifford Wolf	2015-02-10
\|
*	Fixed iterator invalidation bug in "rename" command	Clifford Wolf	2015-02-09
\|
*	Fixed bug in "show -format .."	Clifford Wolf	2015-02-08
\|
*	Fixed eval_select_op() api	Clifford Wolf	2015-02-08
\|
*	Added eval_select_args() and eval_select_op()	Clifford Wolf	2015-02-08
\|
*	Added equiv_add	Clifford Wolf	2015-02-08
\|
*	Added "select -read"	Clifford Wolf	2015-02-06
\|
*	Added onehot attribute	Clifford Wolf	2015-02-04
\|
*	Fixed opt_clean performance bug	Clifford Wolf	2015-02-04
\|
*	Using design->selected_modules() in opt_*	Clifford Wolf	2015-02-03
\|
*	Merge pull request #48 from rubund/master	Clifford Wolf	2015-02-01
\|\ \| \| \| \|	Fixed typos found by lintian
\| *	Fixed typos found by lintian	Ruben Undheim	2015-02-01
\| \|
* \|	Improved performance in equiv_simple	Clifford Wolf	2015-02-01
\|/
*	Using selections in "ls" command	Clifford Wolf	2015-02-01
\|
*	Bugfix in opt_const $eq -> buffer code	Clifford Wolf	2015-01-31
\|
*	Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")	Clifford Wolf	2015-01-31
\|
*	Added "equiv_induct -undef"	Clifford Wolf	2015-01-31
\|
*	Added "equiv_simple -undef"	Clifford Wolf	2015-01-31
\|
*	Added "equiv_make -blacklist <file> -encfile <file>"	Clifford Wolf	2015-01-31
\|
*	Added "fsm -encfile"	Clifford Wolf	2015-01-30
\|
*	Improved an error message	Clifford Wolf	2015-01-28
\|
*	Fixed bug in equiv_miter	Clifford Wolf	2015-01-28
\|
*	Added "sat -show-ports"	Clifford Wolf	2015-01-27
\|
*	Rethrow with "catch(...) throw;"	Clifford Wolf	2015-01-25
\|
*	Added equiv_remove	Clifford Wolf	2015-01-25
\|
*	Added equiv_miter	Clifford Wolf	2015-01-25
\|
*	Added ENABLE_NDEBUG makefile options	Clifford Wolf	2015-01-24
\|
*	Various equiv_* improvements	Clifford Wolf	2015-01-24
\|
*	Added dict/pool.sort()	Clifford Wolf	2015-01-24
\|
*	Improvements in equiv_make, equiv_induct	Clifford Wolf	2015-01-22
\|
*	Improved xdot calling	Clifford Wolf	2015-01-22
\|
*	Added equiv_induct	Clifford Wolf	2015-01-22
\|
*	Various equiv_simple improvements	Clifford Wolf	2015-01-22
\|
*	Moved equiv stuff to passes/equiv/	Clifford Wolf	2015-01-22
\|
*	Progress in equiv_simple	Clifford Wolf	2015-01-21
\|
*	Fixed opt_muxtree performance bug	Clifford Wolf	2015-01-21
\|
*	Added equiv_simple	Clifford Wolf	2015-01-19
\|
*	Added equiv_status	Clifford Wolf	2015-01-19
\|