aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-wave_opt.adb
Commit message (Collapse)AuthorAgeFilesLines
* update license headersumarcor2021-01-141-11/+9
|
* grt: adjust grt-wave_opt error API.Tristan Gingold2018-09-161-26/+11
|
* grt: rework error API (WIP) - rework report, add warning.Tristan Gingold2018-09-161-9/+10
|
* grt: rework error API (WIP).Tristan Gingold2018-09-161-1/+1
|
* Support added for * and **. Please note that wildcards inside names like ↵Jonas Baggett2016-11-021-2/+2
| | | | | | /top/sub*/... are not supported yet, only synthax like /top/*/... works for now. Support for wildcards inside names will be added on version 1.2, at the same time as simple regexp support. Current version set to 1.1
* There is a new --write-opt-file option that will create a wave option file ↵Jonas Baggett2016-11-011-0/+75
with all the signals of the design. (#179) The --wave-opt-file option is renamed to --read-opt-file for consistency Some code cleanup and bug fixes