iCE40/ghdl - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Add support for PSL assumptions, used in formal verification (#880)	Pepijn de Vos	2019-08-07	1	-1/+2
*	synth: improve support of vhdl08. Fix #882	Tristan Gingold	2019-08-05	1	-1/+9
*	synth: unconstrained arrays.	Tristan Gingold	2019-07-28	1	-0/+3
*	synth: preliminary support of dynamic indexing.	Tristan Gingold	2019-07-28	1	-45/+66
*	vhdl annotations: fix annotation of type in interface list.	Tristan Gingold	2019-07-24	1	-0/+1
*	synth: initial support for for-generate statement.	Tristan Gingold	2019-07-20	1	-5/+8
*	synth: do not crash on use of std_logic_1164 2008.	Tristan Gingold	2019-07-10	1	-10/+4
*	vhdl-annotations: partial revert of previous patch for	Tristan Gingold	2019-07-04	1	-0/+10
*	vhdl: rename Cover_Statement to Cover_Directive.	Tristan Gingold	2019-07-04	1	-1/+1
*	vhdl: parse and analyze restrict directive.	Tristan Gingold	2019-07-04	1	-1/+2
*	synth: handle vhdl2008 std_logic_1164, handle anonymous_signal.	Tristan Gingold	2019-07-04	1	-2/+2
*	vhdl: translate anonymous_signal_declaration.	Tristan Gingold	2019-07-03	1	-0/+2
*	synth: handle concurrent assertions.	Tristan Gingold	2019-07-02	1	-1/+2
*	vhdl: move annotations from simul to vhdl.	Tristan Gingold	2019-06-29	1	-0/+1315