diff options
| author | Claire Xen <claire@clairexen.net> | 2021-10-15 16:43:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-15 16:43:25 +0200 |
| commit | 92ecfb2b36850072f4a7516190c8b6cc01f4beaf (patch) | |
| tree | eefbbc9a20f6b714183891ccab21f57f08cb0a82 /examples/smtbmc | |
| parent | a0f5ba850111c6edc471d070057fa07b073141f4 (diff) | |
| parent | 1aa68969660549ae9c0fd683c0a328c499694b49 (diff) | |
| download | yosys-92ecfb2b36850072f4a7516190c8b6cc01f4beaf.tar.gz yosys-92ecfb2b36850072f4a7516190c8b6cc01f4beaf.tar.bz2 yosys-92ecfb2b36850072f4a7516190c8b6cc01f4beaf.zip | |
Merge pull request #3044 from YosysHQ/micko/verific_bufif1
Support PRIM_BUFIF1 primitive, fixes #2981
Diffstat (limited to 'examples/smtbmc')
0 files changed, 0 insertions, 0 deletions