diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-09 10:46:29 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-09 10:46:29 +0700 |
commit | feb57982a999b6c6faf58b0e279d9b8949802962 (patch) | |
tree | 0cc7b01ef830f85bf97fd34aaae5368e2b508f2e /src/aig/gia | |
parent | 8ad3d6bec8ff89c8d742869cff05735d6f023fc8 (diff) | |
download | abc-feb57982a999b6c6faf58b0e279d9b8949802962.tar.gz abc-feb57982a999b6c6faf58b0e279d9b8949802962.tar.bz2 abc-feb57982a999b6c6faf58b0e279d9b8949802962.zip |
Change suggested by Udi Finkelstein.
Diffstat (limited to 'src/aig/gia')
0 files changed, 0 insertions, 0 deletions