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 |