diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-06-27 20:17:52 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-06-27 20:17:52 -0700 |
commit | 6c2ac7661dc1ea3ddd83617dd247a467e00486de (patch) | |
tree | 305b42eaf412fa59700dfdc4f8e4f0cd84d18aea /src/aig/saig | |
parent | 86ba294dc89a07af93d1cb31a1137c2e11300b4f (diff) | |
download | abc-6c2ac7661dc1ea3ddd83617dd247a467e00486de.tar.gz abc-6c2ac7661dc1ea3ddd83617dd247a467e00486de.tar.bz2 abc-6c2ac7661dc1ea3ddd83617dd247a467e00486de.zip |
Added another specialized check to the mapper.
Diffstat (limited to 'src/aig/saig')
0 files changed, 0 insertions, 0 deletions