diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-07-11 10:14:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-07-11 10:14:43 -0700 |
| commit | 2ba092e4cc73ec8d6001cdc1a1784a799be745af (patch) | |
| tree | f18d0fcd892c60e2a740627d3944bfd89c822dd9 /src/aig | |
| parent | 0b734d10e0ecf498865f5ff5f900c0a3bb5ece32 (diff) | |
| download | abc-2ba092e4cc73ec8d6001cdc1a1784a799be745af.tar.gz abc-2ba092e4cc73ec8d6001cdc1a1784a799be745af.tar.bz2 abc-2ba092e4cc73ec8d6001cdc1a1784a799be745af.zip | |
Fixing commands 'putontop' and 'topmost'; adding command 'bottommost'.
Diffstat (limited to 'src/aig')
0 files changed, 0 insertions, 0 deletions