diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-01-02 20:35:37 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-01-02 20:35:37 +0100 |
| commit | 5a0f561d9c6dd35e42a3ee0f0d5162ded6276f2b (patch) | |
| tree | 12fb72bf7b5357dfa081fd9c5abb6ae0b06a6e44 /passes/sat/freduce.cc | |
| parent | 456ae31a8a63d4ffa283c7fc8d62081de22058a7 (diff) | |
| download | yosys-5a0f561d9c6dd35e42a3ee0f0d5162ded6276f2b.tar.gz yosys-5a0f561d9c6dd35e42a3ee0f0d5162ded6276f2b.tar.bz2 yosys-5a0f561d9c6dd35e42a3ee0f0d5162ded6276f2b.zip | |
Now */ is optional in */<mode>:<arg> selections
Diffstat (limited to 'passes/sat/freduce.cc')
0 files changed, 0 insertions, 0 deletions