diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-24 11:29:06 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-24 11:29:06 +0200 |
| commit | 92d3aad67059064503b31e47d3686478524fb9bc (patch) | |
| tree | 67da178ab99bb90561542d59cc915f0d55fa33ba /frontends/ast | |
| parent | 84f15260b5f3d328c75ee385d2fdc2861b4e8f59 (diff) | |
| download | yosys-92d3aad67059064503b31e47d3686478524fb9bc.tar.gz yosys-92d3aad67059064503b31e47d3686478524fb9bc.tar.bz2 yosys-92d3aad67059064503b31e47d3686478524fb9bc.zip | |
Add "verific -import -flatten" and "verific -import -v"
Diffstat (limited to 'frontends/ast')
0 files changed, 0 insertions, 0 deletions