diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-12 16:23:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-12 16:23:52 -0700 |
| commit | 9055265394006a1c14688a018db48d06ba14e756 (patch) | |
| tree | c6d8d20f8f9474bc1970f6460e949be0118f8d37 /.hgignore | |
| parent | 99a917caf379fbbac1b26cd9af2205108262e945 (diff) | |
| download | abc-9055265394006a1c14688a018db48d06ba14e756.tar.gz abc-9055265394006a1c14688a018db48d06ba14e756.tar.bz2 abc-9055265394006a1c14688a018db48d06ba14e756.zip | |
Bug fix in &fraig -L <num>.
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -23,6 +23,9 @@ src/aig/ddb/ src/base/abc2/ src/base/abc2d/ +src/base/pcm/ +src/base/ply/ + *~ *.orig |