diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-02-13 15:22:50 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-02-13 15:22:50 +0100 |
| commit | c1abd3b02cab235334342f3520e2535eb74c5792 (patch) | |
| tree | d7fdfb4a1783545ad934dca6871bc65e0b3e331f /frontends/verific | |
| parent | 717abc93a8f6be8ddf36df735a4ce0a1821e5e0e (diff) | |
| download | yosys-c1abd3b02cab235334342f3520e2535eb74c5792.tar.gz yosys-c1abd3b02cab235334342f3520e2535eb74c5792.tar.bz2 yosys-c1abd3b02cab235334342f3520e2535eb74c5792.zip | |
Fixed yosys-config for binary distributions with Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific')
0 files changed, 0 insertions, 0 deletions