diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2021-10-02 00:05:22 +0200 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-10-02 20:19:48 +0200 |
| commit | ba0723cad77a327653c080da84dda9f6ef12fad1 (patch) | |
| tree | e1467bc8553e9fa301edc799ec2081020d7873ae /backends/smt2/smt2.cc | |
| parent | 63b9df8693840d17def8abcb0e848112283b0231 (diff) | |
| download | yosys-ba0723cad77a327653c080da84dda9f6ef12fad1.tar.gz yosys-ba0723cad77a327653c080da84dda9f6ef12fad1.tar.bz2 yosys-ba0723cad77a327653c080da84dda9f6ef12fad1.zip | |
zinit: Refactor to use FfData.
Diffstat (limited to 'backends/smt2/smt2.cc')
0 files changed, 0 insertions, 0 deletions