aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-strings.adb
Commit message (Collapse)AuthorAgeFilesLines
* Add support for extended identifiers in wave option files. (#236)Jonas Baggett2016-12-201-7/+0
|
* Adding support for a wave option file that selects signals to be displayed ↵Jonsba2016-07-261-0/+77
| | | | | | (#121) Adding support for a wave option file that selects signals to be displayed on the waveform (currently only works with the ghw wave format). Only full signal paths are supported now (no wildcards). Wave option file version set to 1.0.
* grt: add grt-strings, use case insensitive compare for vpi_handle_by_nameTristan Gingold2016-06-221-0/+41
Fixes potentialventures/cocotb#460