iCE40/ghdl - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	psl: remove start loops only in case of always.	Tristan Gingold	2023-03-15	1	-1/+3
\| \| \| \|	For #2392
*	psl-build.adb(build_plus_repeat): fix handling of single edge NFA	Tristan Gingold	2023-03-08	1	-3/+15
\| \| \| \|	For #2373
*	psl-build: fix fusion with epsilon. Fix #2336	Tristan Gingold	2023-01-31	1	-0/+1
\|
*	psl-build.adb: handle sync_abort. Fix #2266	Tristan Gingold	2022-12-07	1	-1/+2
\|
*	psl-build.adb: disable incorrect optimization. Fix #2157	Tristan Gingold	2022-08-03	1	-1/+4
\|
*	synth: add support for sequence instance in vunit. Fix #1889	Tristan Gingold	2021-10-13	1	-1/+2
\|
*	update license headers	umarcor	2021-01-14	1	-11/+9
\|
*	psl: set locations in CSE. Fix #1272	Tristan Gingold	2020-04-29	1	-14/+1
\|
*	psl: keep locations.	Tristan Gingold	2020-04-26	1	-14/+32
\|
*	psl: add active state.	Tristan Gingold	2019-10-21	1	-16/+44
\|
*	psl: add psl-types, psl-nodes_priv.	Tristan Gingold	2019-05-10	1	-0/+1
\|
*	psl: cover directive works on a sequence, not on a property.	Tristan Gingold	2016-02-14	1	-2/+0
\|
*	psl: use Tables instead of GNAT.Table, regenerate, add copyrights.	Tristan Gingold	2016-01-27	1	-8/+23
\|
*	Move sources to src/ subdirectory.	Tristan Gingold	2014-11-04	1	-0/+1009