diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-22 14:29:36 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-22 14:29:36 -0800 |
commit | 810c0be1271e222c3caa1b5fd6b0992ad03b10a3 (patch) | |
tree | edacb1d41a2b4d9681862a2a1a73d96d223bead2 /src/base/abci | |
parent | d0da3a82588a6a29deb2e3f351789005498daa6f (diff) | |
download | abc-810c0be1271e222c3caa1b5fd6b0992ad03b10a3.tar.gz abc-810c0be1271e222c3caa1b5fd6b0992ad03b10a3.tar.bz2 abc-810c0be1271e222c3caa1b5fd6b0992ad03b10a3.zip |
Added alias blif2aig = undc; strash; zero
Diffstat (limited to 'src/base/abci')
0 files changed, 0 insertions, 0 deletions