[berkeley-abc] 01/04: Merge tag 'upstream/1.01+20161002hgeb6eca6+dfsg'
Ruben Undheim
rubund-guest at moszumanska.debian.org
Thu Nov 3 23:27:14 UTC 2016
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 6478925aa83d753f0b7300e1fa77c1df2f61b43c
Merge: 8766d0b 53ac3bc
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date: Thu Nov 3 23:11:28 2016 +0000
Merge tag 'upstream/1.01+20161002hgeb6eca6+dfsg'
Makefile | 8 +-
abc.rc | 2 +-
abcexe.dsp | 4 +
abclib.dsp | 158 +-
readme.md | 8 +-
src/aig/aig/aigDfs.c | 14 +
src/aig/aig/aigUtil.c | 53 +-
src/aig/gia/gia.h | 139 +-
src/aig/gia/giaAiger.c | 58 +-
src/aig/gia/giaBalAig.c | 2 +-
src/aig/gia/giaBalLut.c | 4 +-
src/aig/gia/giaDfs.c | 106 +-
src/aig/gia/giaDup.c | 606 +++-
src/aig/gia/giaEdge.c | 1000 +++++++
src/aig/gia/giaEquiv.c | 152 +-
src/aig/gia/giaEsop.c | 541 ++++
src/aig/gia/giaFrames.c | 2 +-
src/aig/gia/giaFx.c | 4 +-
src/aig/gia/giaGig.c | 569 ++--
src/aig/gia/giaHash.c | 41 +-
src/aig/gia/giaIf.c | 117 +-
src/aig/gia/giaLf.c | 4 +-
src/aig/gia/giaMan.c | 34 +-
src/aig/gia/giaMf.c | 9 +
src/aig/gia/giaMfs.c | 4 +-
src/aig/gia/giaMuxes.c | 2 +-
src/aig/gia/giaNf.c | 59 +-
src/aig/gia/giaOf.c | 2 +
src/aig/gia/giaPolyn.c | 227 --
src/aig/gia/giaRex.c | 2 +-
src/aig/gia/giaSatEdge.c | 537 ++++
src/aig/gia/giaSatLE.c | 1083 +++++++
src/aig/gia/giaSatLut.c | 1141 ++++++--
src/aig/gia/giaSatMap.c | 6 +
src/aig/gia/giaShow.c | 621 ++++
src/aig/gia/giaSpeedup.c | 2 +-
src/aig/gia/giaSplit.c | 578 ++++
src/aig/gia/giaStr.c | 19 +-
src/aig/gia/giaSweep.c | 8 +-
src/aig/gia/giaTim.c | 14 +-
src/aig/gia/giaUtil.c | 32 +-
src/aig/gia/module.make | 7 +-
src/base/abc/abc.h | 11 +-
src/base/abc/abcFunc.c | 33 +-
src/base/abc/abcNtk.c | 1 +
src/base/abc/abcUtil.c | 41 +-
src/base/abci/abc.c | 1849 +++++++++++-
src/base/abci/abcCollapse.c | 4 +-
src/base/abci/abcDec.c | 2 +-
src/base/abci/abcDetect.c | 208 ++
src/base/abci/abcDress2.c | 65 +
src/base/abci/abcDress3.c | 344 +++
src/base/abci/abcExact.c | 2959 ++++++++++++++++++++
src/base/abci/abcFx.c | 214 +-
src/base/abci/abcIf.c | 24 +-
src/base/abci/abcMini.c | 2 +-
src/base/abci/abcNpn.c | 25 +-
src/base/abci/abcPrint.c | 48 +-
src/base/abci/abcRpo.c | 2 +-
src/base/abci/abcTim.c | 2 +-
src/base/abci/module.make | 3 +
src/base/cba/cba.h | 2 +-
src/base/cba/cbaBlast.c | 2 +-
src/base/cba/cbaCom.c | 2 +-
src/base/cba/cbaNtk.c | 7 +-
src/base/cmd/cmdPlugin.c | 2 +-
src/base/exor/exor.c | 958 +++++++
src/base/exor/exor.h | 189 ++
src/base/exor/exorBits.c | 425 +++
src/base/exor/exorCubes.c | 190 ++
src/base/exor/exorLink.c | 749 +++++
src/base/exor/exorList.c | 1156 ++++++++
src/base/exor/exorUtil.c | 228 ++
src/base/exor/module.make | 6 +
src/base/io/io.c | 134 +-
src/base/io/ioAbc.h | 2 +-
src/base/io/ioReadBench.c | 43 +-
src/base/io/ioReadPla.c | 48 +-
src/base/io/ioReadPlaMo.c | 813 ++++++
src/base/io/ioUtil.c | 2 +-
src/base/io/module.make | 1 +
src/base/pla/module.make | 3 +-
src/base/pla/pla.h | 62 +-
src/base/pla/plaCom.c | 9 +-
src/base/wlc/wlc.c | 138 +
src/base/wlc/wlc.h | 90 +-
src/base/wlc/wlcBlast.c | 413 ++-
src/base/wlc/wlcCom.c | 65 +-
src/base/wlc/wlcNtk.c | 106 +-
src/base/wlc/wlcReadSmt.c | 769 ++++-
src/base/wlc/wlcReadVer.c | 98 +-
src/base/wlc/wlcSim.c | 2 +-
src/base/wlc/wlcStdin.c | 2 +-
src/base/wlc/wlcWriteVer.c | 27 +-
src/bool/kit/kitHop.c | 2 +-
src/bool/lucky/luckyRead.c | 2 +-
src/bool/lucky/luckySimple.c | 124 +
src/map/cov/cov.h | 4 +-
src/map/cov/covCore.c | 4 +-
src/map/cov/covMan.c | 4 +-
src/map/if/if.h | 8 +-
src/map/if/ifCut.c | 2 +-
src/map/if/ifMan.c | 10 +
src/map/if/ifMap.c | 122 +-
src/map/if/ifTruth.c | 5 +
src/map/mio/mio.c | 24 +-
src/map/mio/mio.h | 6 +
src/map/mio/mioApi.c | 2 +-
src/map/mio/mioInt.h | 10 +-
src/map/mio/mioRead.c | 3 +-
src/map/mio/mioUtils.c | 179 +-
src/map/scl/sclLib.h | 1 +
src/map/scl/sclLibScl.c | 142 +
src/misc/st/st.c | 17 +-
src/misc/vec/vec.h | 2 +
src/misc/vec/vecHsh.h | 20 +
src/misc/vec/vecInt.h | 34 +
src/misc/vec/vecPtr.h | 20 +
src/opt/dau/dau.h | 1 +
src/opt/dau/dauCanon.c | 310 +-
src/opt/fxch/Fxch.c | 266 ++
src/opt/fxch/Fxch.h | 229 ++
src/opt/fxch/FxchDiv.c | 485 ++++
src/opt/fxch/FxchMan.c | 785 ++++++
src/opt/fxch/FxchSCHashTable.c | 372 +++
src/opt/fxch/module.make | 4 +
src/opt/fxu/fxu.h | 1 +
src/opt/ret/retArea.c | 35 +-
src/opt/ret/retCore.c | 20 +-
src/opt/ret/retIncrem.c | 21 +-
src/opt/ret/retInt.h | 8 +-
src/opt/sfm/module.make | 3 +-
src/opt/sfm/sfmArea.c | 380 +++
src/opt/sfm/sfmDec.c | 5 +
src/proof/acec/acec.c | 52 +
src/{misc/vec/vec.h => proof/acec/acec.h} | 81 +-
src/proof/acec/acecCo.c | 317 +++
src/proof/acec/acecCore.c | 62 +
src/proof/acec/acecCover.c | 263 ++
src/{aig/gia/giaFadds.c => proof/acec/acecFadds.c} | 198 +-
src/{misc/vec/vec.h => proof/acec/acecInt.h} | 78 +-
src/proof/acec/acecOrder.c | 254 ++
src/proof/acec/acecPo.c | 563 ++++
src/proof/acec/acecPolyn.c | 445 +++
src/proof/acec/acecRe.c | 436 +++
src/proof/acec/acecUtil.c | 99 +
src/proof/acec/module.make | 9 +
src/proof/cec/cec.h | 1 +
src/proof/cec/cecCore.c | 10 +-
src/proof/cec/cecInt.h | 2 +-
src/proof/cec/cecSolve.c | 14 +-
src/proof/pdr/pdr.h | 2 +
src/proof/pdr/pdrCore.c | 2 +
src/proof/pdr/pdrInv.c | 10 +-
src/proof/pdr/pdrSat.c | 4 +-
src/proof/ssw/sswConstr.c | 6 +-
src/proof/ssw/sswSweep.c | 3 +
src/sat/bmc/bmc.h | 1 +
src/sat/bmc/bmcBmc3.c | 1 +
src/sat/bmc/bmcClp.c | 22 +-
src/sat/bmc/bmcEco.c | 4 +-
src/sat/bmc/bmcExpand.c | 174 ++
src/sat/bmc/bmcFault.c | 23 +-
src/sat/bmc/bmcGen.c | 195 ++
src/sat/bmc/module.make | 2 +
src/sat/bsat/satSolver.c | 509 ++--
src/sat/bsat/satSolver.h | 53 +-
src/sat/bsat/satUtil.c | 3 -
168 files changed, 26066 insertions(+), 2063 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