diff options
| author | N. Engelhardt <nak@symbioticeda.com> | 2020-06-04 16:24:16 +0200 |
|---|---|---|
| committer | N. Engelhardt <nak@symbioticeda.com> | 2020-06-04 16:24:16 +0200 |
| commit | 82798ae57512fe410494821ca2d177116b3a3c63 (patch) | |
| tree | dc302ba033b7fb6e648ed6808aab0ced7cc76a40 /misc/yosysjs/demo03.html | |
| parent | 5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafc (diff) | |
| download | yosys-82798ae57512fe410494821ca2d177116b3a3c63.tar.gz yosys-82798ae57512fe410494821ca2d177116b3a3c63.tar.bz2 yosys-82798ae57512fe410494821ca2d177116b3a3c63.zip | |
btor backend: make not printing internal names default
Diffstat (limited to 'misc/yosysjs/demo03.html')
0 files changed, 0 insertions, 0 deletions