diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2021-02-23 12:06:21 +0100 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-02-25 22:04:04 +0100 |
| commit | 979347999f72591b5536e58110cfd491edccc937 (patch) | |
| tree | d4f44919b1223b78650cf813cfe5981a7a61d9eb /misc | |
| parent | a651204efa58b4a90ff568735e8d4f4540b92791 (diff) | |
| download | yosys-979347999f72591b5536e58110cfd491edccc937.tar.gz yosys-979347999f72591b5536e58110cfd491edccc937.tar.bz2 yosys-979347999f72591b5536e58110cfd491edccc937.zip | |
btor, smt2, smv: Add a hint on how to deal with funny FF types.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions