diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-12-30 23:29:14 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-12-30 23:29:14 -0800 |
| commit | 436c96e2fba0d7f73adb0ebb2b69821fe1dfc58c (patch) | |
| tree | 2ca3bf7a965c81af56004b1c0c05b9fd667a39a4 /backends/btor | |
| parent | 7997e2a90fd37886241b7eb657408177ef7f6fa7 (diff) | |
| download | yosys-436c96e2fba0d7f73adb0ebb2b69821fe1dfc58c.tar.gz yosys-436c96e2fba0d7f73adb0ebb2b69821fe1dfc58c.tar.bz2 yosys-436c96e2fba0d7f73adb0ebb2b69821fe1dfc58c.zip | |
Revert "Get rid of holes_mode"
This reverts commit 7997e2a90fd37886241b7eb657408177ef7f6fa7.
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions