diff options
| author | Martin Jeřábek <martin.jerabek01@gmail.com> | 2019-03-14 13:50:58 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-04-22 18:55:28 +0200 |
| commit | 2a926485e11b3081b7df9ef4855043b3363027dc (patch) | |
| tree | 46de251ecf599b76aede5b11fd9fc243fdb1bead /src/files_map-editor.ads | |
| parent | 792f4dbc5b7e692a9862cdfcc4b0243016e5be1c (diff) | |
| download | ghdl-2a926485e11b3081b7df9ef4855043b3363027dc.tar.gz ghdl-2a926485e11b3081b7df9ef4855043b3363027dc.tar.bz2 ghdl-2a926485e11b3081b7df9ef4855043b3363027dc.zip | |
grt: optimize wave dump
Instead of walking through all the signals every cycle,
keep an array of changed signals (without duplicates).
Before dumping, sort the array. Afterwards clear it.
This massively improves performance on big designs.
Diffstat (limited to 'src/files_map-editor.ads')
0 files changed, 0 insertions, 0 deletions