[berkeley-abc] 01/02: Merge tag 'upstream/1.01+20150706hgc3698e0+dfsg'

[Ruben Undheim]

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 b08a29127ed299d59756c9babe7ab57688da3e08
Merge: 7601d95 e406dbb
Author: Ruben Undheim <ruben.undheim at gmail.com>
Date:   Tue Aug 18 12:17:28 2015 +0200

    Merge tag 'upstream/1.01+20150706hgc3698e0+dfsg'

 abclib.dsp                   |   4 +
 src/aig/gia/gia.h            |   5 +-
 src/aig/gia/giaAiger.c       |  10 +-
 src/aig/gia/giaDup.c         |  30 ++++++
 src/aig/gia/giaIf.c          |   5 +
 src/aig/gia/giaQbf.c         | 122 ++++++++++++++++++++-
 src/base/abc/abc.h           |   2 +-
 src/base/abc/abcFunc.c       |  12 ++-
 src/base/abc/abcHieCec.c     |   2 +-
 src/base/abc/abcHieNew.c     |   2 +-
 src/base/abc/abcNames.c      | 131 ++++++++++++++++++----
 src/base/abci/abc.c          | 249 ++++++++++++++++++++++++++++++++++++++----
 src/base/abci/abcDar.c       |   2 +-
 src/base/abci/abcFraig.c     |  34 +++---
 src/base/abci/abcQbf.c       |   7 +-
 src/base/wlc/module.make     |   1 +
 src/base/wlc/wlc.h           |  43 ++++----
 src/base/wlc/wlcBlast.c      |  28 +++--
 src/base/wlc/wlcCom.c        |   4 +
 src/base/wlc/wlcNtk.c        |  91 ++++++++++++----
 src/base/wlc/wlcReadSmt.c    |  22 ++--
 src/base/wlc/wlcReadVer.c    |  20 +++-
 src/base/wlc/wlcSim.c        | 251 +++++++++++++++++++++++++++++++++++++++++++
 src/map/if/if.h              |  11 +-
 src/map/if/ifMap.c           |   7 +-
 src/map/if/ifTime.c          |  17 ++-
 src/map/if/ifTune.c          |  19 ++--
 src/map/mapper/mapperMatch.c |   2 +-
 src/map/mio/mioUtils.c       | 107 ++++++++++--------
 src/map/scl/sclLiberty.c     |   7 +-
 src/sat/bmc/bmc.h            |   1 +
 src/sat/bmc/bmcCexCare.c     |  54 ++++++++++
 src/sat/bsat/satSolver.h     |   4 +
 33 files changed, 1111 insertions(+), 195 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/berkeley-abc.git