iCE40/ghdl - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Avoid a crash with postponed assertions in vhdl08	Tristan Gingold	2016-08-27	1	-4/+9
\|
*	Also consider 'not' for non-psl assert statement.	Tristan Gingold	2016-08-26	1	-1/+1
\| \| \| \|	Fixes #141
*	Rewrite error messages.	Tristan Gingold	2016-08-02	1	-15/+17
\|
*	Fix indentation and English mistakes.	Tristan Gingold	2016-07-05	1	-2/+2
\|
*	PSL: add clocked SERE, make endpoints visible from VHDL.	Tristan Gingold	2016-03-22	1	-14/+44
\|
*	wip.	Tristan Gingold	2016-03-20	1	-1/+3
\|
*	psl: cover directive works on a sequence, not on a property.	Tristan Gingold	2016-02-14	1	-17/+51
\|
*	PSL: handle and/or in boolean assertion.	Tristan Gingold	2016-02-09	1	-7/+64
\|
*	vhdl08: maybe insert implicit condition operator in concurrent statement.	Tristan Gingold	2016-01-11	1	-11/+21
\|
*	Convert psl assertion to normal assertion if simple expression.	Tristan Gingold	2015-07-10	1	-2/+23
\| \| \| \|	Fix ticket90.
*	Create src/vhdl subdirectory.	Tristan Gingold	2014-11-04	1	-0/+617