diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-05-23 20:01:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-23 20:01:44 +0200 |
| commit | 335b4888ce1cd31e2efdac008f089449b27ce700 (patch) | |
| tree | e98dcfca6476c2497a922a11787f33c8e7aa7307 /Makefile | |
| parent | a6ec5754c6c2be6877904569b644ad8eae4aac1c (diff) | |
| parent | fdb393b6ce0fd6bf5f04ddd95e600828fb90c97d (diff) | |
| download | yosys-335b4888ce1cd31e2efdac008f089449b27ce700.tar.gz yosys-335b4888ce1cd31e2efdac008f089449b27ce700.tar.bz2 yosys-335b4888ce1cd31e2efdac008f089449b27ce700.zip | |
Merge pull request #3332 from YosysHQ/verific_f
Update Verific command file documentation
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions