diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-08 21:10:36 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-08 21:10:36 +0700 |
| commit | a7acb2f1046b24e9c6ad5b82a190f81e7bf4b0e8 (patch) | |
| tree | 182760a9b422b34ab053a63ec72107d561d2a98f /src/aig/kit | |
| parent | 70694628d2ed5260bb5bd4456d077d903a011c05 (diff) | |
| download | abc-a7acb2f1046b24e9c6ad5b82a190f81e7bf4b0e8.tar.gz abc-a7acb2f1046b24e9c6ad5b82a190f81e7bf4b0e8.tar.bz2 abc-a7acb2f1046b24e9c6ad5b82a190f81e7bf4b0e8.zip | |
Fixed the problem with blackboxes not preserving their names after duplication.
Diffstat (limited to 'src/aig/kit')
0 files changed, 0 insertions, 0 deletions