diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-14 14:18:42 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-14 14:18:42 -0800 |
| commit | ffd6f54f92a7ba3856b5f168b7db97eb8ed87caa (patch) | |
| tree | a2661bfe8f6123a5032579caf2b0ce2e9036c622 /frontends | |
| parent | 61ffd2d1996befd8c27c4f36f07567824bd7605e (diff) | |
| parent | ade57058f70590bb8353eda32d9b961a31c61fbc (diff) | |
| download | yosys-ffd6f54f92a7ba3856b5f168b7db97eb8ed87caa.tar.gz yosys-ffd6f54f92a7ba3856b5f168b7db97eb8ed87caa.tar.bz2 yosys-ffd6f54f92a7ba3856b5f168b7db97eb8ed87caa.zip | |
Merge pull request #1635 from YosysHQ/eddie/print_stats
print_stats footer to return peak memory, option for including children
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions