yosys - Debian dgit repo for package yosys

	Commit message (Expand)	Author	Age
...
*	Updated ABC to rev 10cc13a2a0f1	Clifford Wolf	2014-02-06
*	Added "retime" to standard ABC recipes	Clifford Wolf	2014-02-06
*	Added copy command	Clifford Wolf	2014-02-06
*	Added design -stash/-copy-from/-copy-to	Clifford Wolf	2014-02-06
*	Added support for s: select expressions (wire width)	Clifford Wolf	2014-02-06
*	Added i:, o:, and x: selection pattern	Clifford Wolf	2014-02-06
*	Added support for %m selection op	Clifford Wolf	2014-02-06
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2014-02-06
\|\
\| *	Merge pull request #23 from hansiglaser/master	Clifford Wolf	2014-02-06
\| \|\
\| \| *	new %s: add sub-modules to selection	Johann Glaser	2014-02-06
\| \|/
* /	Added generic RTLIL::SigSpec::parse_sel() with support for selection variables	Clifford Wolf	2014-02-06
\|/
*	Added support for sat -show @<sel_name>	Clifford Wolf	2014-02-06
*	Added sat -set-init-def and sat -tempinduct-def	Clifford Wolf	2014-02-06
*	Added opt_const -undriven	Clifford Wolf	2014-02-06
*	Added expose -dff	Clifford Wolf	2014-02-06
*	Added support for #-comments in same line as command	Clifford Wolf	2014-02-06
*	presentation progress	Clifford Wolf	2014-02-06
*	Changed techmap description from "simple" to "generic"	Clifford Wolf	2014-02-06
*	Added miter -make_outcmp	Clifford Wolf	2014-02-06
*	Added sat -set-init-zero support	Clifford Wolf	2014-02-06
*	Added support for backslash continuation in script files	Clifford Wolf	2014-02-06
*	Added counters sat test case	Clifford Wolf	2014-02-06
*	Added sat -verify and -falsify support for non-prove cases	Clifford Wolf	2014-02-06
*	Added expose command	Clifford Wolf	2014-02-05
*	presentation progress	Clifford Wolf	2014-02-05
*	Simplified select "Assertation failed" message generation	Clifford Wolf	2014-02-05
*	Merge branch 'master' of github.com:cliffordwolf/yosys	Clifford Wolf	2014-02-05
\|\
\| *	Merge pull request #22 from hansiglaser/master	Clifford Wolf	2014-02-05
\| \|\
\| \| *	be more verbose for select -assert-any and -assert-none	Johann Glaser	2014-02-05
\| \| *	improved help for "select"	Johann Glaser	2014-02-05
\| \|/
* \|	Added BTOR backend README file	Clifford Wolf	2014-02-05
* \|	Added selection support for r: and selection with relational operators	Clifford Wolf	2014-02-05
\|/
*	presentation progress	Clifford Wolf	2014-02-05
*	presentation progress	Clifford Wolf	2014-02-05
*	Added read_verilog -setattr	Clifford Wolf	2014-02-05
*	Added setattr and setparam commands	Clifford Wolf	2014-02-05
*	Updated todo items in README file	Clifford Wolf	2014-02-05
*	Removed old unused files from tests/	Clifford Wolf	2014-02-05
*	Added support for dump -append	Clifford Wolf	2014-02-04
*	Throw errors if non-existing selection variables are used	Clifford Wolf	2014-02-04
*	Added select -none	Clifford Wolf	2014-02-04
*	presentation progress	Clifford Wolf	2014-02-04
*	Fixed detection of init attribute in opt_rmdff	Clifford Wolf	2014-02-04
*	Added support for inline commands to abc -script	Clifford Wolf	2014-02-04
*	presentation progress	Clifford Wolf	2014-02-04
*	Added hierarchy -purge_lib option	Clifford Wolf	2014-02-04
*	Added test cases for sat command	Clifford Wolf	2014-02-04
*	added sat -falsify	Clifford Wolf	2014-02-04
*	Fixed bug in sequential sat proofs and improved handling of asserts	Clifford Wolf	2014-02-04
*	Improved handling of reg init in opt_share and opt_rmdff	Clifford Wolf	2014-02-04