iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Add $cover cell type and SVA cover() support	Clifford Wolf	2017-02-04	1	-2/+2
*	Add assert/assume support to verific front-end	Clifford Wolf	2017-02-04	1	-624/+686
*	Added "yosys -D" feature	Clifford Wolf	2016-04-21	1	-1/+1
*	Support for more Verific primitives (patch I got per email)	Clifford Wolf	2016-02-13	1	-1/+31
*	Bugfix in Verific front-end	Clifford Wolf	2016-02-03	1	-2/+5
*	Added addBufGate module method	Clifford Wolf	2016-02-02	1	-0/+5
*	Added PRIM_DLATCHRS support to verific front-end	Clifford Wolf	2015-11-24	1	-0/+10
*	Fixed performance bug in Verific importer	Clifford Wolf	2015-11-16	1	-10/+12
*	Changes for Verific 3.16_484_32_151112	Clifford Wolf	2015-11-12	1	-1/+3
*	Import more std:: stuff into Yosys namespace	Clifford Wolf	2015-10-25	1	-5/+5
*	Added read-enable to memory model	Clifford Wolf	2015-09-25	1	-1/+2
*	Spell check (by Larry Doolittle)	Clifford Wolf	2015-08-14	1	-1/+1
*	Fixed trailing whitespaces	Clifford Wolf	2015-07-02	1	-3/+3
*	Verific build fixes	Clifford Wolf	2015-05-17	1	-1/+1
*	Added log_warning() API	Clifford Wolf	2014-11-09	1	-1/+1
*	Header changes so it will compile on VS	William Speirs	2014-10-17	1	-2/+5
*	Renamed SIZE() to GetSize() because of name collision on Win32	Clifford Wolf	2014-10-10	1	-8/+8
*	Corrected spelling mistakes found by lintian	Ruben Undheim	2014-09-06	1	-1/+1
*	Added module->uniquify()	Clifford Wolf	2014-08-16	1	-6/+2
*	Renamed $_INV_ cell type to $_NOT_	Clifford Wolf	2014-08-15	1	-3/+3
*	Fixed building verific bindings	Clifford Wolf	2014-08-12	1	-2/+2
*	Fixed build of verific bindings	Clifford Wolf	2014-07-31	1	-11/+11
*	Added module->design and cell->module, wire->module pointers	Clifford Wolf	2014-07-31	1	-2/+2
*	Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespace	Clifford Wolf	2014-07-31	1	-1/+7
*	Using log_assert() instead of assert()	Clifford Wolf	2014-07-28	1	-1/+0
*	Fixed verific bindings for new RTLIL api	Clifford Wolf	2014-07-27	1	-50/+37
*	Various fixes in Verific frontend for new RTLIL API	Clifford Wolf	2014-07-23	1	-27/+22
*	Fixed mapping of Verific WIDE_DFFRS operator	Clifford Wolf	2014-03-20	1	-2/+2
*	Fixed mapping of Verific FADD primitive with unconnected outputs	Clifford Wolf	2014-03-20	1	-4/+5
*	Progress in Verific bindings	Clifford Wolf	2014-03-17	1	-8/+51
*	Progress in Verific bindings	Clifford Wolf	2014-03-17	1	-5/+50
*	Progress in Verific bindings	Clifford Wolf	2014-03-17	1	-0/+2
*	Added support for memories to verific bindings	Clifford Wolf	2014-03-16	1	-1/+85
*	Use Verific Net::{IsGnd,IsPwr} API in Verific bindings	Clifford Wolf	2014-03-16	1	-27/+11
*	Progress in Verific bindings	Clifford Wolf	2014-03-15	1	-39/+16
*	Progress in Verific bindings	Clifford Wolf	2014-03-15	1	-7/+15
*	Progress in Verific bindings	Clifford Wolf	2014-03-15	1	-31/+31
*	Progress in Verific bindings	Clifford Wolf	2014-03-14	1	-13/+38
*	Progress in Verific bindings	Clifford Wolf	2014-03-14	1	-222/+338
*	Progress in Verific bindings	Clifford Wolf	2014-03-13	1	-10/+65
*	Copy Verific vdbs files to Yosys "share" data directory	Clifford Wolf	2014-03-13	1	-8/+8
*	Improved verific command (added support for some operators)	Clifford Wolf	2014-03-10	1	-2/+160
*	Improvements in verific command	Clifford Wolf	2014-03-10	1	-59/+39
*	Added "verific" command	Clifford Wolf	2014-03-09	1	-0/+488