iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor	Ahmed Irfan	2014-01-03	43	-873/+2070
\|\
\| *	Added correct handling of $memwr priority	Clifford Wolf	2014-01-03	5	-2/+42
\| *	Fixed more complex undef cases in freduce	Clifford Wolf	2014-01-02	1	-4/+36
\| *	Now / is optional in /<mode>:<arg> selections	Clifford Wolf	2014-01-02	1	-1/+4
\| *	Added "rename -hide" command	Clifford Wolf	2014-01-02	1	-1/+44
\| *	Added SAT undef model for $pmux and $safe_pmux	Clifford Wolf	2014-01-02	1	-4/+19
\| *	More "freduce" related fixes and improvements	Clifford Wolf	2014-01-02	1	-19/+67
\| *	Added support for module->connections to select %ci, %co and %x handling	Clifford Wolf	2014-01-02	1	-0/+15
\| *	Some cleanups in freduce -inv mode (and switched from -noinv to -inv)	Clifford Wolf	2014-01-02	1	-26/+29
\| *	Added autotest.sh -p option	Clifford Wolf	2014-01-02	1	-3/+8
\| *	Major rewrite of "freduce" command	Clifford Wolf	2014-01-02	4	-286/+338
\| *	Updated CHANGELOG	Clifford Wolf	2014-01-01	1	-2/+36
\| *	Fixed use of limited length buffer in ABC blif parser	Clifford Wolf	2013-12-31	1	-7/+16
\| *	Use "abc -dff" in "make test"	Clifford Wolf	2013-12-31	1	-3/+2
\| *	Added abc -dff and -clk support	Clifford Wolf	2013-12-31	3	-34/+173
\| *	Various small cleanups in stdcells.v techmap code	Clifford Wolf	2013-12-31	1	-68/+38
\| *	Added additional checks for A_SIGNED == B_SIGNED for cells with that constraint	Clifford Wolf	2013-12-31	1	-4/+11
\| *	Updated ABC to hg rev 57517e81666b	Clifford Wolf	2013-12-31	1	-2/+2
\| *	Now using BLIF as ABC input format	Clifford Wolf	2013-12-31	1	-37/+54
\| *	Fixed commented out techmap call in tests/tools/autotest.sh	Clifford Wolf	2013-12-31	1	-1/+1
\| *	Always use BLIF as ABC output format	Clifford Wolf	2013-12-31	5	-268/+31
\| *	Fixed a stupid access after delete bug	Clifford Wolf	2013-12-29	1	-1/+2
\| *	Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)	Clifford Wolf	2013-12-29	2	-13/+10
\| *	Updated manual/command-reference-manual.tex	Clifford Wolf	2013-12-28	2	-7/+137
\| *	Added new cell types to manual	Clifford Wolf	2013-12-28	2	-1/+10
\| *	Added $bu0 cell (for easy correct $eq/$ne mapping)	Clifford Wolf	2013-12-28	6	-5/+35
\| *	Added sat -prove-x and -set-def-inputs	Clifford Wolf	2013-12-28	1	-32/+96
\| *	Improved $_MUX_ handling in opt_const	Clifford Wolf	2013-12-28	1	-10/+9
\| *	More conservastive $eq/$ne/$eqx/$nex opt_const code	Clifford Wolf	2013-12-28	1	-8/+2
\| *	Fixed sat handling of $eqx and $nex with unequal port widths	Clifford Wolf	2013-12-27	1	-0/+2
\| *	Fixed parsing of non-arg macro calls followed by "("	Clifford Wolf	2013-12-27	1	-1/+7
\| *	Small cleanup in SatGen	Clifford Wolf	2013-12-27	1	-2/+0
\| *	More $eq/$ne/$eqx/$nex fixes in opt_const	Clifford Wolf	2013-12-27	1	-1/+8
\| *	Fixed parsing of macros with no arguments and expansion text starting with "("	Clifford Wolf	2013-12-27	1	-1/+2
\| *	Fixed sat handling of $eqx and $nex cells	Clifford Wolf	2013-12-27	1	-1/+12
\| *	Fixed/improved opt_const $eq/$ne/$eqx/$nex handling	Clifford Wolf	2013-12-27	1	-1/+3
\| *	Added support for non-const === and !== (for miter circuits)	Clifford Wolf	2013-12-27	10	-20/+128
\| *	Added proper === and !== support in constant expressions	Clifford Wolf	2013-12-27	9	-15/+79
\| *	Added sat -set-def/-set-*-undef support	Clifford Wolf	2013-12-27	1	-5/+66
\| *	Renamed sat -set-undef to -set-any-undef	Clifford Wolf	2013-12-27	1	-20/+20
\| *	Fixed dfflibmap for unused output ports	Clifford Wolf	2013-12-21	1	-0/+1
\| *	Now prefer smallest cells in dfflibmap	Clifford Wolf	2013-12-21	1	-2/+22
\| *	Cleanup of dfflibmap cellmap exploration code	Clifford Wolf	2013-12-20	1	-17/+20
\| *	Further improved dfflibmap cellmap exploration	Clifford Wolf	2013-12-20	1	-14/+18
\| *	Fixed dfflibmap endless-loop bug	Clifford Wolf	2013-12-20	1	-0/+1
\| *	Added log_dump() API	Clifford Wolf	2013-12-20	1	-0/+54
\| *	Prefer non-inverted clocks in dfflibmap	Clifford Wolf	2013-12-19	1	-6/+8
\| *	Added multiplier test case from eda playground	Clifford Wolf	2013-12-18	1	-0/+132
\| *	Added elsif preproc support	Clifford Wolf	2013-12-18	2	-2/+243
\| *	Added support for macro arguments	Clifford Wolf	2013-12-18	2	-23/+84