diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-10-20 13:14:04 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-10-20 13:14:04 +0200 |
| commit | 0a31a0b3ae570007196c4b4dd6c16ba7de7f3ba9 (patch) | |
| tree | 020a6f3ba025d4027342b390ad69be1bef4c5fac /tests | |
| parent | 309f8fe74f2f5dc33d5e7d034f0b2c12e2b77b14 (diff) | |
| download | yosys-0a31a0b3ae570007196c4b4dd6c16ba7de7f3ba9.tar.gz yosys-0a31a0b3ae570007196c4b4dd6c16ba7de7f3ba9.tar.bz2 yosys-0a31a0b3ae570007196c4b4dd6c16ba7de7f3ba9.zip | |
Remove all PSL support code from verific.cc
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions