diff options
| author | Jannis Harder <me@jix.one> | 2022-12-23 17:22:24 +0100 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2023-01-11 18:07:16 +0100 |
| commit | 3e25e61778cc9fe427bf68f45de43f26985b12c3 (patch) | |
| tree | 29215ec1d1788c0a3c950fd9fd25cbb3b648d5cd /backends/btor/btor.cc | |
| parent | 29461ade177eb3dfb2ba5714c4a6bf365b09a24e (diff) | |
| download | yosys-3e25e61778cc9fe427bf68f45de43f26985b12c3.tar.gz yosys-3e25e61778cc9fe427bf68f45de43f26985b12c3.tar.bz2 yosys-3e25e61778cc9fe427bf68f45de43f26985b12c3.zip | |
aiger: Use new JSON code for writing aiger witness map files
Diffstat (limited to 'backends/btor/btor.cc')
0 files changed, 0 insertions, 0 deletions