diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-14 13:05:39 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-14 13:05:39 -0800 |
| commit | aaafd784a54603af44fe7424c8d39be2443368e5 (patch) | |
| tree | aec04b5d96715c0236fa914f9fb8ff361bf4a55f /backends/simplec | |
| parent | 915e7dde734094e21803f83e37f8827b8ff2fe32 (diff) | |
| download | yosys-aaafd784a54603af44fe7424c8d39be2443368e5.tar.gz yosys-aaafd784a54603af44fe7424c8d39be2443368e5.tar.bz2 yosys-aaafd784a54603af44fe7424c8d39be2443368e5.zip | |
write_xaiger: skip if no arrival times
Diffstat (limited to 'backends/simplec')
0 files changed, 0 insertions, 0 deletions