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