diff options
author | Miodrag Milanović <mmicko@gmail.com> | 2022-10-04 08:23:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-04 08:23:52 +0200 |
commit | f5e2c0a49816be3ce425b96a64a07e8fadcc6e70 (patch) | |
tree | 49ea9ee3e4257c50c1b7dfe81d7ceaaa5ad5d646 /Makefile | |
parent | a9795c4fce52f825fbb455daa74b4d126a289ff6 (diff) | |
parent | 43267dec99afb1052763af8a5a4110ae15a26c9c (diff) | |
download | yosys-f5e2c0a49816be3ce425b96a64a07e8fadcc6e70.tar.gz yosys-f5e2c0a49816be3ce425b96a64a07e8fadcc6e70.tar.bz2 yosys-f5e2c0a49816be3ce425b96a64a07e8fadcc6e70.zip |
Merge pull request #3494 from YosysHQ/micko/verific_attributes
Handle attributes imported from verific
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions