diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 18:40:34 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 18:40:34 +0700 |
| commit | 8af417bab756ea1cf19be551723a58bdb44516c9 (patch) | |
| tree | d1c7941637f75ac43bca4947c68d8eec8689b5f0 /src/aig/saig/saigConstr.c | |
| parent | 961f7532d703060ef2e053df1f1b7a672e7dae30 (diff) | |
| download | abc-8af417bab756ea1cf19be551723a58bdb44516c9.tar.gz abc-8af417bab756ea1cf19be551723a58bdb44516c9.tar.bz2 abc-8af417bab756ea1cf19be551723a58bdb44516c9.zip | |
Changes to enable smarter simulation (bug fix).
Diffstat (limited to 'src/aig/saig/saigConstr.c')
0 files changed, 0 insertions, 0 deletions