Clifford Wolf
|
0bc95f1e04
|
Added "yosys -D" feature
|
2016-04-21 23:28:37 +02:00 |
|
Clifford Wolf
|
6fe48cf41e
|
equiv_purge bugfix, using SigChunk in Yosys namespace
|
2015-10-24 19:09:45 +02:00 |
|
Clifford Wolf
|
6c84341f22
|
Fixed trailing whitespaces
|
2015-07-02 11:14:30 +02:00 |
|
Clifford Wolf
|
f80f5b721d
|
Added "equiv_make -blacklist <file> -encfile <file>"
|
2015-01-31 12:08:20 +01:00 |
|
Clifford Wolf
|
df64542288
|
Fixed bug in equiv_miter
|
2015-01-28 00:34:30 +01:00 |
|
Clifford Wolf
|
66a6b86daa
|
Added equiv_miter
|
2015-01-25 14:00:49 +01:00 |
|