diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-05-11 13:56:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-11 13:56:51 +0200 |
| commit | faf00586d811479f486771102ba1a399e6a0f2df (patch) | |
| tree | 60348a7cdaed48e480daffb9e1fe375461218d44 /passes/cmds/bugpoint.cc | |
| parent | b66b657b6b161910be8a62d37b2d981d33c9f1e3 (diff) | |
| parent | 2f5cfa014b4fda75eefdf1499721aae4aabb8419 (diff) | |
| download | yosys-faf00586d811479f486771102ba1a399e6a0f2df.tar.gz yosys-faf00586d811479f486771102ba1a399e6a0f2df.tar.bz2 yosys-faf00586d811479f486771102ba1a399e6a0f2df.zip | |
Merge pull request #1003 from makaimann/zinit-all
Zinit option '-singleton' -> '-all'
Diffstat (limited to 'passes/cmds/bugpoint.cc')
0 files changed, 0 insertions, 0 deletions