diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-28 11:32:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-28 11:32:26 -0700 |
| commit | fbc9c00fd15057c6372e399cd6bf443da70e490c (patch) | |
| tree | 730229ddcf367aba1831c43727b49d9f42fcce70 /src/aig/gia/giaMf.c | |
| parent | 69bd355467df6347b6f071c58346c61f44be05e5 (diff) | |
| download | abc-fbc9c00fd15057c6372e399cd6bf443da70e490c.tar.gz abc-fbc9c00fd15057c6372e399cd6bf443da70e490c.tar.bz2 abc-fbc9c00fd15057c6372e399cd6bf443da70e490c.zip | |
Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter).
Diffstat (limited to 'src/aig/gia/giaMf.c')
0 files changed, 0 insertions, 0 deletions