iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add "verific -vlog-incdir" and "verific -vlog-define"	Clifford Wolf	2017-10-13	1	-0/+35
\|
*	Update Verific README	Clifford Wolf	2017-10-13	1	-0/+7
\|
*	Add Verific fairness/liveness support	Clifford Wolf	2017-10-12	1	-11/+32
\|
*	Start work on pre-processor for Verific SVA properties	Clifford Wolf	2017-10-10	1	-10/+153
\|
*	Improve handling of Verific errors	Clifford Wolf	2017-10-05	1	-11/+9
\|
*	Improve Verific error handling, check VHDL static asserts	Clifford Wolf	2017-10-04	1	-11/+25
\|
*	Fix nasty bug in Verific bindings	Clifford Wolf	2017-10-04	1	-1/+1
\|
*	Add merging of "past FFs" to verific importer	Clifford Wolf	2017-07-29	1	-2/+76
\|
*	Add minimal support for PSL in VHDL via Verific	Clifford Wolf	2017-07-28	1	-19/+155
\|
*	Improve Verific HDL language options	Clifford Wolf	2017-07-28	1	-4/+4
\|
*	Fix handling of non-user-declared Verific netbus	Clifford Wolf	2017-07-28	1	-2/+3
\|
*	Improve Verific SVA importer	Clifford Wolf	2017-07-27	1	-0/+34
\|
*	Add log_warning_noprefix() API, Use for Verific warnings and errors	Clifford Wolf	2017-07-27	1	-1/+1
\|
*	Add "verific -import -n" and "verific -import -nosva"	Clifford Wolf	2017-07-27	1	-14/+36
\|
*	Improve Verific SVA import: negedge and $past	Clifford Wolf	2017-07-27	1	-6/+49
\|
*	Improve Verific SVA importer	Clifford Wolf	2017-07-27	1	-37/+58
\|
*	Improve Verific bindings (mostly related to SVA)	Clifford Wolf	2017-07-26	1	-110/+320
\|
*	Improve "help verific" message	Clifford Wolf	2017-07-25	1	-5/+5
\|
*	Add "verific -extnets"	Clifford Wolf	2017-07-25	1	-23/+130
\|
*	Improve "verific -all" handling	Clifford Wolf	2017-07-25	1	-26/+45
\|
*	Add "verific -import -d <dump_file"	Clifford Wolf	2017-07-24	1	-6/+35
\|
*	Add "verific -import -flatten" and "verific -import -v"	Clifford Wolf	2017-07-24	1	-107/+164
\|
*	Add "verific -import -k"	Clifford Wolf	2017-07-22	1	-42/+51
\|
*	Improve docs for verific bindings, add simply sby example	Clifford Wolf	2017-07-22	5	-48/+89
\|
*	Add Verific Release information to log	Clifford Wolf	2017-07-04	1	-0/+12
\|
*	Add support for verific mem initialization	Clifford Wolf	2017-02-11	1	-0/+38
\|
*	Fix another stupid bug in the same line	Clifford Wolf	2017-02-11	1	-1/+1
\|
*	Add verific support for initialized variables	Clifford Wolf	2017-02-11	1	-3/+47
\|
*	Improve handling of Verific warnings and error messages	Clifford Wolf	2017-02-11	1	-4/+10
\|
*	Fix extremely stupid typo	Clifford Wolf	2017-02-11	1	-1/+1
\|
*	Add "rand" and "rand const" verific support	Clifford Wolf	2017-02-09	1	-0/+41
\|
*	Add PSL parser mode to verific front-end	Clifford Wolf	2017-02-08	1	-2/+17
\|
*	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	2	-625/+687
\|
*	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
\|
*	Updated verific build instructions	Clifford Wolf	2016-02-02	1	-2/+0
\|
*	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	2	-3/+6
\|
*	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	2	-2/+2
\|
*	Added log_warning() API	Clifford Wolf	2014-11-09	1	-1/+1
\|
*	Added "ENABLE_PLUGINS := 0" to verific amd64 build instructions	Clifford Wolf	2014-11-08	1	-0/+1
\|
*	Header changes so it will compile on VS	William Speirs	2014-10-17	1	-2/+5
\|