diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-17 15:51:12 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-17 15:51:12 -0800 |
| commit | 5d7c568589a15205d2bfbe534064d9722e52116d (patch) | |
| tree | 8e8c101f2f55b45ec083d95ce4abb15248f4cb12 /src/aig | |
| parent | ee9f66e2c4dba55e5ab4c7ce16223054b291d5fb (diff) | |
| download | abc-5d7c568589a15205d2bfbe534064d9722e52116d.tar.gz abc-5d7c568589a15205d2bfbe534064d9722e52116d.tar.bz2 abc-5d7c568589a15205d2bfbe534064d9722e52116d.zip | |
Changes to properly save current GIA after &miter -t and not erase the comb cex after &put.
Diffstat (limited to 'src/aig')
0 files changed, 0 insertions, 0 deletions