iCE40/ghdl - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	update license headers	umarcor	2021-01-14	1	-11/+9
\|
*	grt: handle unbounded array subtype in rtis and waves	Tristan Gingold	2020-07-25	1	-1/+1
\|
*	Adding some comments to the RTI processing. (#1304)	Ben Reynwar	2020-05-12	1	-13/+62
\|
*	grt: add code to support systemc co-simulation.	Tristan Gingold	2020-04-02	1	-0/+1
\|
*	Add support for PSL assumptions, used in formal verification (#880)	Pepijn de Vos	2019-08-07	1	-0/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* vhdl: make the parser understand PSL assume * assume does not actually have report according to the spec. Just a property. * add SPL assume to semantic analysis * canonicalise PSL assume * add assume to annotations * add PSL assume to simulation code * statement -> directive * add assume to translation files * update ticked24 testcase * correctly parse assume * add assume testcase * refactor chunk of duplicated code
*	Rework translation of unbounded and complex types.	Tristan Gingold	2018-10-21	1	-3/+15
\|
*	ghwlib/grt-waves: handle unbounded records.	Tristan Gingold	2017-06-02	1	-20/+20
\|
*	unbounded records: add rti support (WIP)	Tristan Gingold	2017-02-21	1	-11/+35
\|
*	vhdl08: add support of case-generate statement	Tristan Gingold	2016-07-07	1	-12/+14
\|
*	grt: add comments.	Tristan Gingold	2016-03-25	1	-0/+7
\|
*	PSL: add clocked SERE, make endpoints visible from VHDL.	Tristan Gingold	2016-03-22	1	-0/+2
\|
*	PSL: add counters, generate rti and add --psl-report	Tristan Gingold	2016-03-18	1	-3/+8
\|
*	Fix desynchronization (ghdl_rtik) between grt-waves.adb and ghwlib	Tristan Gingold	2015-03-11	1	-0/+1
\|
*	Rework for vhdl08 generate: change rtis.	Tristan Gingold	2015-01-04	1	-6/+30
\|
*	rtis: add source location for blocks and object. Use them in fst dumper.	Tristan Gingold	2014-12-13	1	-1/+13
\|
*	Move files and dirs from translate/	Tristan Gingold	2014-11-05	1	-0/+379