diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-07 18:21:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-07 18:21:50 -0700 |
| commit | b8b75cf14fd361c02c00ae3792537a0dab7a243f (patch) | |
| tree | 6f11cefbc5e38af0682a981db67878d6a3e26adb /.hgignore | |
| parent | 4b21edde650c8098e4b1b62042bb3096577d39dd (diff) | |
| download | abc-b8b75cf14fd361c02c00ae3792537a0dab7a243f.tar.gz abc-b8b75cf14fd361c02c00ae3792537a0dab7a243f.tar.bz2 abc-b8b75cf14fd361c02c00ae3792537a0dab7a243f.zip | |
Improvements in sequential verification.
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -18,6 +18,8 @@ src/aig/au/ src/aig/ssm/ src/aig/ddb/ +src/map/if/ifDec.c + *~ *.orig |