aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-disp_rti.adb
Commit message (Expand)AuthorAgeFilesLines
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-0/+3
* grt/rtis: fix use of bounds for unbounded subelements.Tristan Gingold2019-01-041-1/+4
* Extract grt.astdio.vhdl from grt.astdio.Tristan Gingold2018-12-161-0/+1
* grt rtis/wave: handle unbounded record subtypes.Tristan Gingold2018-10-211-3/+15
* Rework translation of unbounded and complex types.Tristan Gingold2018-10-211-26/+50
* rti: handle more unbounded recordTristan Gingold2017-11-011-2/+4
* ghwlib/grt-waves: handle unbounded records.Tristan Gingold2017-06-021-1/+2
* rtis/vcd/ghw: handle record subtypes.Tristan Gingold2017-02-221-39/+2
* unbounded records: add rti support (WIP)Tristan Gingold2017-02-211-121/+221
* vhdl08: add support of case-generate statementTristan Gingold2016-07-071-3/+8
* PSL: add clocked SERE, make endpoints visible from VHDL.Tristan Gingold2016-03-221-15/+39
* PSL: add counters, generate rti and add --psl-reportTristan Gingold2016-03-181-6/+31
* grt rtis_addr: handle B1 ranges.Tristan Gingold2016-01-251-5/+30
* Pass signal values to interfaces. 'sigptr' optimization.Tristan Gingold2015-12-181-1/+6
* grt: add --list-features, and --has-featureTristan Gingold2015-09-141-2/+3
* grt-disp_rti: fix thinko (no blocks for if-generate).Tristan Gingold2015-01-151-2/+5
* Handle vhdl08 if generate statementsTristan Gingold2015-01-071-31/+22
* Rework for vhdl08 generate: change rtis.Tristan Gingold2015-01-041-15/+41
* rtis: add source location for blocks and object. Use them in fst dumper.Tristan Gingold2014-12-131-0/+29
* grt-disp_rti: disp alias kind.Tristan Gingold2014-12-101-4/+6
* grt-disp_rti.adb: disp array of enum as strings (when possible).Tristan Gingold2014-12-101-40/+97
* Move files and dirs from translate/Tristan Gingold2014-11-051-0/+1080