diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-21 19:37:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-21 19:37:33 -0700 |
| commit | a9317eac758b150ef839aa673e9a04bacb875d8b (patch) | |
| tree | c197df11daac01cb6943937b5b19d55b318f1d18 /.hgignore | |
| parent | 7592aa8a3e4bce6a28fddeea87e90cd3f2fb02a6 (diff) | |
| download | abc-a9317eac758b150ef839aa673e9a04bacb875d8b.tar.gz abc-a9317eac758b150ef839aa673e9a04bacb875d8b.tar.bz2 abc-a9317eac758b150ef839aa673e9a04bacb875d8b.zip | |
Preparing to work with C++ code.
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -19,10 +19,13 @@ src/xxx/ src/aig/au/ src/aig/ssm/ src/aig/ddb/ +src/sat/bsat2/ src/base/abc2/ src/base/abc2d/ - +src/base/abc3/ +src/base/abc4/ + src/base/pcm/ src/base/ply/ |