diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-04-29 13:54:26 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-29 13:54:26 +0200 |
commit | 314ff1e4ca00ef8024bbb0d2f031efd78b01f9a1 (patch) | |
tree | 679497fa4a7452ac5962cf05e00d7d22ce423903 /kernel | |
parent | 8fde245ea2fbc999328df410f48269b8705d121b (diff) | |
parent | 159e7cc2983e3d026fa8c5187252bb890a04b96f (diff) | |
download | yosys-314ff1e4ca00ef8024bbb0d2f031efd78b01f9a1.tar.gz yosys-314ff1e4ca00ef8024bbb0d2f031efd78b01f9a1.tar.bz2 yosys-314ff1e4ca00ef8024bbb0d2f031efd78b01f9a1.zip |
Merge pull request #960 from YosysHQ/eddie/equiv_opt_undef
Add -undef option to equiv_opt, passed to equiv_induct
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions