diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-27 18:52:19 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-27 18:52:19 -0700 |
| commit | cf1fdc82e46fc5c0ea78d35356c6c37dfc2c2bff (patch) | |
| tree | 213a00a49416634d0a361fa079cc53a819550066 /src/aig/gia/giaTruth.c | |
| parent | ea1fbfc9713ed5709d4ca50361a1210f23b5bf52 (diff) | |
| download | abc-cf1fdc82e46fc5c0ea78d35356c6c37dfc2c2bff.tar.gz abc-cf1fdc82e46fc5c0ea78d35356c6c37dfc2c2bff.tar.bz2 abc-cf1fdc82e46fc5c0ea78d35356c6c37dfc2c2bff.zip | |
Bug fix in 'resub' to enable additional divisors, by Siang-Yun Lee.
Diffstat (limited to 'src/aig/gia/giaTruth.c')
0 files changed, 0 insertions, 0 deletions