diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-11-14 18:03:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-14 18:03:44 +0100 |
| commit | e907ee4fde6fe83faf246dfcc2afb207e20d803d (patch) | |
| tree | 9dc18a453ce94db834e2dc55e14636e231c43d78 /frontends/verific/Makefile.inc | |
| parent | 4b18a4528ba7597bd7437837ab6d34cd8de2e110 (diff) | |
| parent | 07c854b7afc793a589df06c7fce200260378b379 (diff) | |
| download | yosys-e907ee4fde6fe83faf246dfcc2afb207e20d803d.tar.gz yosys-e907ee4fde6fe83faf246dfcc2afb207e20d803d.tar.bz2 yosys-e907ee4fde6fe83faf246dfcc2afb207e20d803d.zip | |
Merge pull request #1490 from YosysHQ/clifford/autoname
Add "autoname" pass and use it in "synth_ice40"
Diffstat (limited to 'frontends/verific/Makefile.inc')
0 files changed, 0 insertions, 0 deletions