diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-04 16:59:28 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-04 16:59:28 -0800 |
| commit | ef893337741de07a94d2cf6056b1ca6822a5e28e (patch) | |
| tree | 492478c47f3eb725a0c18becc02378468be0af2a /src/aig/saig/module.make | |
| parent | 148a786b694b5cad9035e53f35a349d6274f0291 (diff) | |
| download | abc-ef893337741de07a94d2cf6056b1ca6822a5e28e.tar.gz abc-ef893337741de07a94d2cf6056b1ca6822a5e28e.tar.bz2 abc-ef893337741de07a94d2cf6056b1ca6822a5e28e.zip | |
Improved the speed of refinement algorithm in &abs_refine.
Diffstat (limited to 'src/aig/saig/module.make')
| -rw-r--r-- | src/aig/saig/module.make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/saig/module.make b/src/aig/saig/module.make index a1f0e976..a83ac5e2 100644 --- a/src/aig/saig/module.make +++ b/src/aig/saig/module.make @@ -18,6 +18,7 @@ SRC += src/aig/saig/saigAbs.c \ src/aig/saig/saigRetStep.c \ src/aig/saig/saigScl.c \ src/aig/saig/saigSimExt.c \ + src/aig/saig/saigSimExt2.c \ src/aig/saig/saigSimFast.c \ src/aig/saig/saigSimMv.c \ src/aig/saig/saigSimSeq.c \ |