diff options
| author | Jannis Harder <me@jix.one> | 2022-07-01 14:38:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-01 14:38:45 +0200 |
| commit | 0182b26abab8c9a8efef728d55d1adb09bf39825 (patch) | |
| tree | 6b9e2dcd588e33443f72cd1bf4c9629983f83422 /passes/techmap | |
| parent | 42721b6a129707e4cc8ce6f47533c2530077ba9d (diff) | |
| parent | c16c0288311ba9aef95b3d5fcdde63bbc05a5b08 (diff) | |
| download | yosys-0182b26abab8c9a8efef728d55d1adb09bf39825.tar.gz yosys-0182b26abab8c9a8efef728d55d1adb09bf39825.tar.bz2 yosys-0182b26abab8c9a8efef728d55d1adb09bf39825.zip | |
Merge pull request #3391 from programmerjake/simcheck-allow-smtlib2-blackboxes
add hierarchy -smtcheck
Diffstat (limited to 'passes/techmap')
0 files changed, 0 insertions, 0 deletions