iCE40/yosys - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	$size() now works with memories as well!	Udi Finkelstein	2017-09-26	1	-1/+3
\|
*	Add $size() function. At the moment it works only on expressions, not on ↵	Udi Finkelstein	2017-09-26	1	-0/+14
\| \| \| \|	memories.
*	Fix generation of vlogtb output in yosys-smtbmc for "rand reg" and "rand ↵	Clifford Wolf	2017-06-07	1	-0/+7
\| \| \| \|	const reg"
*	Add $live and $fair cell types, add support for s_eventually keyword	Clifford Wolf	2017-02-25	4	-3/+12
\|
*	Preserve string parameters	Clifford Wolf	2017-02-23	1	-2/+8
\|
*	Fix incorrect "incompatible re-declaration of wire" error in tasks/functions	Clifford Wolf	2017-02-14	1	-2/+9
\|
*	Add $cover cell type and SVA cover() support	Clifford Wolf	2017-02-04	4	-2/+6
\|
*	Fix bug in AstNode::mem2reg_as_needed_pass2()	Clifford Wolf	2017-01-15	1	-0/+2
\|
*	Fixed handling of local memories in functions	Clifford Wolf	2017-01-05	1	-2/+2
\|
*	Added handling of local memories and error for local decls in unnamed blocks	Clifford Wolf	2017-01-04	1	-1/+10
\|
*	Added Verilog $rtoi and $itor support	Clifford Wolf	2017-01-03	1	-24/+30
\|
*	Added support for hierarchical defparams	Clifford Wolf	2016-11-15	2	-13/+39
\|
*	Remember global declarations and defines accross read_verilog calls	Clifford Wolf	2016-11-15	1	-4/+2
\|
*	Fixed anonymous genblock object names	Clifford Wolf	2016-11-04	1	-1/+1
\|
*	Some fixes in handling of signed arrays	Clifford Wolf	2016-11-01	2	-0/+7
\|
*	Added avail params to ilang format, check module params in 'hierarchy -check'	Clifford Wolf	2016-10-22	1	-2/+7
\|
*	Added $anyseq cell type	Clifford Wolf	2016-10-14	2	-4/+4
\|
*	Added $global_clock verilog syntax support for creating $ff cells	Clifford Wolf	2016-10-14	1	-4/+11
\|
*	Added $past, $stable, $rose, $fell SVA functions	Clifford Wolf	2016-09-19	2	-2/+141
\|
*	Added assertpmux	Clifford Wolf	2016-09-07	1	-0/+1
\|
*	Avoid creation of bogus initial blocks for assert/assume in always @*	Clifford Wolf	2016-09-06	3	-1/+13
\|
*	Added $anyconst support to yosys-smtbmc	Clifford Wolf	2016-08-30	1	-0/+2
\|
*	Removed $aconst cell type	Clifford Wolf	2016-08-30	2	-5/+5
\|
*	Removed $predict again	Clifford Wolf	2016-08-28	4	-6/+2
\|
*	Fixed bug with memories that do not have a down-to-zero data width	Clifford Wolf	2016-08-22	1	-2/+13
\|
*	Another bugfix in mem2reg code	Clifford Wolf	2016-08-21	3	-7/+31
\|
*	Minor improvements to AstNode::dumpAst() and AstNode::dumpVlog()	Clifford Wolf	2016-08-21	1	-4/+15
\|
*	Fixed finish_addr handling in $readmemh/$readmemb	Clifford Wolf	2016-08-20	1	-3/+3
\|
*	Optimize memory address port width in wreduce and memory_collect, not ↵	Clifford Wolf	2016-08-19	2	-4/+13
\| \| \| \|	verilog front-end
*	Only allow posedge/negedge with 1 bit wide signals	Clifford Wolf	2016-08-10	1	-0/+2
\|
*	Added $anyconst and $aconst	Clifford Wolf	2016-07-27	2	-0/+49
\|
*	Added "read_verilog -dump_rtlil"	Clifford Wolf	2016-07-27	2	-8/+21
\|
*	Using $initstate in "initial assume" and "initial assert"	Clifford Wolf	2016-07-21	1	-1/+6
\|
*	Added $initstate cell type and vlog function	Clifford Wolf	2016-07-21	1	-0/+24
\|
*	After reading the SV spec, using non-standard predict() instead of expect()	Clifford Wolf	2016-07-21	4	-6/+6
\|
*	Added basic support for $expect cells	Clifford Wolf	2016-07-13	4	-7/+16
\|
*	Fixed mem assignment in left-hand-side concatenation	Clifford Wolf	2016-07-08	1	-0/+44
\|
*	A few modifications after pull request comments	Ruben Undheim	2016-06-18	1	-2/+2
\| \| \| \| \|	- Renamed Design::packages to Design::verilog_packages - No need to include ast.h in rtlil.h
*	Added support for SystemVerilog packages with localparam definitions	Ruben Undheim	2016-06-18	3	-1/+16
\|
*	Fixed procedural assignments to non-unique lvalues, e.g. {y,y} = {a,b}	Clifford Wolf	2016-05-27	1	-0/+11
\|
*	Fixed access-after-delete bug in mem2reg code	Clifford Wolf	2016-05-27	2	-6/+23
\|
*	fixed typos in error messages	Clifford Wolf	2016-05-27	1	-3/+3
\|
*	Include <cmath> in yosys.h	Clifford Wolf	2016-05-08	1	-9/+0
\|
*	Added "yosys -D" feature	Clifford Wolf	2016-04-21	1	-1/+1
\|
*	Fixed handling of parameters and const functions in casex/casez pattern	Clifford Wolf	2016-04-21	4	-6/+31
\|
*	Do not set "nosync" on task outputs, fixes #134	Clifford Wolf	2016-03-24	1	-1/+2
\|
*	Added support for $stop system task	Clifford Wolf	2016-03-21	1	-5/+5
\|
*	Added $display %m support, fixed mem leak in $display, fixes #128	Clifford Wolf	2016-03-19	1	-20/+44
\|
*	Fixed localparam signdness, fixes #127	Clifford Wolf	2016-03-18	1	-1/+1
\|
*	Set "nosync" attribute on internal task/function wires	Clifford Wolf	2016-03-18	1	-0/+1
\|