[depqbf] 01/09: Merge tag 'upstream/5.01'
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Sun Nov 27 17:47:48 UTC 2016
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a commit to branch devel
in repository depqbf.
commit a356df9d4c56dcf7eaa9d4b15942fa2d7c7158fa
Merge: beacd67 61d34d9
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Sun Nov 27 16:54:19 2016 +0100
Merge tag 'upstream/5.01'
Upstream version 5.01
DepQBF4J-0.2/jni/depqbf/NEWS | 7 +
DepQBF4J-0.2/jni/depqbf/README | 18 +-
DepQBF4J-0.2/jni/depqbf/makefile | 26 ++-
DepQBF4J-0.2/jni/depqbf/qdpll.c | 254 +++++++++------------
DepQBF4J-0.2/jni/depqbf/qdpll.h | 2 +-
DepQBF4J-0.2/jni/depqbf/qdpll_app.c | 6 +-
DepQBF4J-0.2/jni/depqbf/qdpll_config.h | 2 +-
DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_generic.h | 2 +-
DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c | 4 +-
DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.h | 2 +-
DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag_types.h | 2 +-
DepQBF4J-0.2/jni/depqbf/qdpll_exit.h | 2 +-
DepQBF4J-0.2/jni/depqbf/qdpll_internals.h | 2 +-
DepQBF4J-0.2/jni/depqbf/qdpll_main.c | 2 +-
DepQBF4J-0.2/jni/depqbf/qdpll_mem.c | 2 +-
DepQBF4J-0.2/jni/depqbf/qdpll_mem.h | 2 +-
DepQBF4J-0.2/jni/depqbf/qdpll_pcnf.h | 2 +-
DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.c | 2 +-
DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.h | 2 +-
DepQBF4J-0.2/jni/depqbf/qdpll_stack.h | 2 +-
NEWS | 7 +
README | 18 +-
makefile | 26 ++-
qdpll.c | 254 +++++++++------------
qdpll.h | 2 +-
qdpll_app.c | 6 +-
qdpll_config.h | 2 +-
qdpll_dep_man_generic.h | 2 +-
qdpll_dep_man_qdag.c | 4 +-
qdpll_dep_man_qdag.h | 2 +-
qdpll_dep_man_qdag_types.h | 2 +-
qdpll_exit.h | 2 +-
qdpll_internals.h | 2 +-
qdpll_main.c | 2 +-
qdpll_mem.c | 2 +-
qdpll_mem.h | 2 +-
qdpll_pcnf.h | 2 +-
qdpll_pqueue.c | 2 +-
qdpll_pqueue.h | 2 +-
qdpll_stack.h | 2 +-
40 files changed, 330 insertions(+), 356 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/depqbf.git
More information about the debian-science-commits
mailing list