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	-4/+24
*	vhdl-prints: improve output for ports/generics.	Tristan Gingold	2019-07-22	1	-5/+27
*	vhdl: rename Cover_Statement to Cover_Directive.	Tristan Gingold	2019-07-04	1	-6/+6
*	vhdl: parse and analyze restrict directive.	Tristan Gingold	2019-07-04	1	-1/+18
*	vhdl: add anonymous_signal_declaration.	Tristan Gingold	2019-07-03	1	-0/+13
*	vhdl-prints: try to print error content.	Tristan Gingold	2019-06-04	1	-0/+10
*	vhdl-prints: fix extra 'else' in disp_conditional_waveform.	Tristan Gingold	2019-06-03	1	-2/+3
*	vhdl-prints: improve indent.	Tristan Gingold	2019-06-02	1	-0/+4
*	vhdl-prints: improve output for if/then, architecture.	Tristan Gingold	2019-06-01	1	-0/+4
*	vhdl-formatters: add indent.	Tristan Gingold	2019-06-01	1	-1/+5
*	vhdl-prints: handle PSL, add psl tokens for strong and inclusive variants.	Tristan Gingold	2019-05-30	1	-85/+394
*	vhdl: renames disp_vhdl to prints	Tristan Gingold	2019-05-30	1	-0/+4155