aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-rtis.ads
Commit message (Expand)AuthorAgeFilesLines
* Adding some comments to the RTI processing. (#1304)Ben Reynwar2020-05-121-13/+62
* grt: add code to support systemc co-simulation.Tristan Gingold2020-04-021-0/+1
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-0/+1
* Rework translation of unbounded and complex types.Tristan Gingold2018-10-211-3/+15
* ghwlib/grt-waves: handle unbounded records.Tristan Gingold2017-06-021-20/+20
* unbounded records: add rti support (WIP)Tristan Gingold2017-02-211-11/+35
* vhdl08: add support of case-generate statementTristan Gingold2016-07-071-12/+14
* grt: add comments.Tristan Gingold2016-03-251-0/+7
* PSL: add clocked SERE, make endpoints visible from VHDL.Tristan Gingold2016-03-221-0/+2
* PSL: add counters, generate rti and add --psl-reportTristan Gingold2016-03-181-3/+8
* Fix desynchronization (ghdl_rtik) between grt-waves.adb and ghwlibTristan Gingold2015-03-111-0/+1
* Rework for vhdl08 generate: change rtis.Tristan Gingold2015-01-041-6/+30
* rtis: add source location for blocks and object. Use them in fst dumper.Tristan Gingold2014-12-131-1/+13
* Move files and dirs from translate/Tristan Gingold2014-11-051-0/+379