iCE40/ghdl - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	errorout: add messages group instead of continuation.	Tristan Gingold	2019-05-12	1	-1/+1
*	vhdl: decouple errorouts a bit more.	Tristan Gingold	2019-05-10	2	-1/+14
*	psl: add psl-types, psl-nodes_priv.	Tristan Gingold	2019-05-10	15	-3/+72
*	Extract psl-errors from errorout.	Tristan Gingold	2019-05-10	2	-0/+64
*	psl-rewrites: handle and/or seq.	Tristan Gingold	2018-11-30	1	-1/+3
*	psl: adjust after pnodes.py changes and regenerate.	Tristan Gingold	2017-10-28	2	-12/+12
*	PSL: add clocked SERE, make endpoints visible from VHDL.	Tristan Gingold	2016-03-22	6	-20/+48
*	wip.	Tristan Gingold	2016-03-20	1	-2/+3
*	psl: cover directive works on a sequence, not on a property.	Tristan Gingold	2016-02-14	4	-8/+15
*	Improve mixed dump of PSL and VHDL nodes.	Tristan Gingold	2016-02-09	2	-18/+8
*	psl: use Tables instead of GNAT.Table, regenerate, add copyrights.	Tristan Gingold	2016-01-27	31	-59/+609
*	Add missing psl files.	Tristan Gingold	2015-05-10	5	-0/+2008
*	psl: add generated files.	Tristan Gingold	2015-05-10	3	-1555/+750
*	Regenerate psl-dump_tree.adb. Fix build failure (ticket 42).	Tristan Gingold	2015-05-10	1	-180/+68
*	Move sources to src/ subdirectory.	Tristan Gingold	2014-11-04	30	-0/+7521