[berkeley-abc] 01/02: Merge branch 'upstream'
Ruben Undheim
rubund-guest at moszumanska.debian.org
Tue Oct 28 21:33:55 UTC 2014
This is an automated email from the git hooks/post-receive script.
rubund-guest pushed a commit to branch master
in repository berkeley-abc.
commit 203caf5fa4a8ceca6b8950e269acbfbd2cf7e16b
Merge: 3523f65 8c95155
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date: Tue Oct 28 22:31:22 2014 +0100
Merge branch 'upstream'
Makefile | 2 +-
abcexe.dsp | 4 +-
abclib.dsp | 60 +-
src/aig/gia/gia.h | 34 +-
src/aig/gia/giaAig.c | 4 +-
src/aig/gia/giaAiger.c | 6 +-
src/aig/gia/{giaBalance.c => giaBalAig.c} | 219 +---
src/aig/gia/{giaBalance2.c => giaBalLut.c} | 0
src/aig/gia/{giaSopb.c => giaBalMap.c} | 41 +-
src/aig/gia/giaClp.c | 43 +-
src/aig/gia/giaDup.c | 73 ++
src/aig/gia/giaEnable.c | 9 +-
src/aig/gia/giaEquiv.c | 6 +-
src/aig/gia/giaEra2.c | 11 +-
src/aig/gia/giaFx.c | 1 +
src/aig/gia/giaIf.c | 447 +++++++--
src/aig/gia/giaKf.c | 12 +-
src/aig/gia/giaMan.c | 6 +-
src/aig/gia/giaMf.c | 6 +-
src/aig/gia/giaScript.c | 615 ++++++++++++
src/aig/gia/giaShrink6.c | 11 +-
src/aig/gia/giaSweep.c | 2 +-
src/aig/gia/giaTim.c | 104 ++
src/aig/gia/module.make | 7 +-
src/base/abc/abcFunc.c | 1 +
src/base/abc/abcNames.c | 27 +
src/base/abc/abcShow.c | 14 +-
src/base/abc/abcUtil.c | 40 +
src/base/abci/abc.c | 1479 ++++++++++++++++++++++------
src/base/abci/abcBm.c | 13 +-
src/base/abci/abcDec.c | 5 +
src/base/abci/abcDsd.c | 8 +-
src/base/abci/abcNpnSave.c | 2 +-
src/base/abci/abcPrint.c | 24 +-
src/base/cmd/cmd.c | 219 ++++
src/base/cmd/cmdHist.c | 2 +-
src/base/cmd/cmdStarter.c | 2 +-
src/base/io/io.c | 40 +-
src/base/io/ioReadAiger.c | 2 +-
src/base/io/ioReadBlifMv.c | 130 ++-
src/base/main/main.h | 2 +
src/base/main/mainFrame.c | 5 +-
src/base/main/mainInit.c | 4 +
src/base/main/mainInt.h | 12 +-
src/base/ver/verParse.c | 2 +-
src/base/wlc/module.make | 6 +
src/base/wlc/wlc.c | 52 +
src/base/wlc/wlc.h | 256 +++++
src/base/wlc/wlcBlast.c | 680 +++++++++++++
src/base/wlc/wlcCom.c | 316 ++++++
src/base/wlc/wlcNtk.c | 482 +++++++++
src/base/wlc/wlcReadVer.c | 1134 +++++++++++++++++++++
src/base/wlc/wlcWriteVer.c | 373 +++++++
src/bdd/dsd/dsd.h | 1 +
src/bdd/dsd/dsdTree.c | 114 +++
src/bool/kit/kitIsop.c | 2 +-
src/map/if/if.h | 25 +-
src/map/if/ifCount.h | 4 +-
src/map/if/ifCut.c | 4 +-
src/map/if/ifDelay.c | 6 +-
src/map/if/ifDsd.c | 542 +++++++++-
src/map/if/ifLibBox.c | 4 +-
src/map/if/ifMan.c | 17 +-
src/map/if/ifMap.c | 28 +-
src/map/if/ifTest.c | 12 +-
src/map/if/ifTune.c | 1184 +++++++++++++++++++---
src/map/mio/mioUtils.c | 11 +-
src/map/scl/scl.c | 73 ++
src/map/scl/sclLib.h | 4 +-
src/map/scl/sclLibScl.c | 9 +-
src/map/scl/sclLibUtil.c | 22 +-
src/map/scl/sclLiberty.c | 19 +
src/misc/extra/extraBddKmap.c | 2 +
src/misc/extra/extraUtilSupp.c | 2 +-
src/misc/extra/extraUtilThresh.c | 333 +++++++
src/misc/extra/module.make | 1 +
src/misc/tim/timMan.c | 5 +-
src/misc/tim/timTime.c | 6 +-
src/misc/util/module.make | 1 +
src/misc/util/utilFile.c | 2 +-
src/misc/util/utilIsop.c | 1139 +++++++++++++++++++++
src/misc/util/utilTruth.h | 207 ++++
src/misc/vec/vecHsh.h | 9 +-
src/misc/vec/vecPtr.h | 3 +-
src/opt/dar/darBalance.c | 2 +
src/opt/dau/dauGia.c | 2 +-
src/proof/abs/absPth.c | 2 +-
src/proof/cec/cec.h | 1 +
src/proof/cec/cecCec.c | 111 ++-
src/proof/cec/cecCorr.c | 12 +-
src/proof/cec/cecSplit.c | 14 +-
src/sat/msat/msatClause.c | 7 +-
92 files changed, 10124 insertions(+), 873 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/berkeley-abc.git
More information about the debian-science-commits
mailing list