diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-03-08 23:02:56 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-08 23:02:56 -0800 |
| commit | 7504d4d3452096b56f127634837de43c7be2d8dc (patch) | |
| tree | f2d3c2738dc66ec9ba025dae0d63f2846e86d5ab /frontends/ast/simplify.cc | |
| parent | e9b34ad5c07935454367af1bee1248371d214fc9 (diff) | |
| parent | ee013fba54f8bca0940143f655f5b4ad3d7b7b96 (diff) | |
| download | yosys-7504d4d3452096b56f127634837de43c7be2d8dc.tar.gz yosys-7504d4d3452096b56f127634837de43c7be2d8dc.tar.bz2 yosys-7504d4d3452096b56f127634837de43c7be2d8dc.zip | |
Merge pull request #861 from YosysHQ/verific_chparam
Add -chparam option to verific command
Diffstat (limited to 'frontends/ast/simplify.cc')
0 files changed, 0 insertions, 0 deletions