[depqbf] branch master updated (ccec180 -> beacd67)
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Tue Dec 22 09:07:57 UTC 2015
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a change to branch master
in repository depqbf.
from ccec180 Fix lintian warning debian-changelog-line-too-long.
adds 3fdf39e Merge branch 'master' into devel
adds d7c6e3b Imported Upstream version 5.0
new bd446c2 Merge tag 'upstream/5.0'
new eeed410 Merge branch 'master' into devel
new b3c75dc refresh depqbf-makefile.patch
new 95bdb3a depqbf.lintian-overrides: add override for no-shlibs-control-file for internal libqdpll.so.1.0
new beacd67 Update changelog
The 5 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.
Summary of changes:
{DepQBF4J-0.1 => DepQBF4J-0.2}/COPYING | 0
{DepQBF4J-0.1 => DepQBF4J-0.2}/ChangeLog | 3 +
{DepQBF4J-0.1 => DepQBF4J-0.2}/README | 7 +-
{DepQBF4J-0.1 => DepQBF4J-0.2}/jni/DepQBF4J.c | 60 +-
{DepQBF4J-0.1 => DepQBF4J-0.2}/jni/Makefile | 0
{DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/COPYING | 0
{DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/NEWS | 21 +
{DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/README | 190 +-
.../jni/depqbf/examples/basic-api-example.c | 0
.../jni/depqbf/examples/basic-api-example2.c | 0
.../jni/depqbf/examples/basic-api-example3.c | 0
.../basic-clause-groups-api-example-assumptions.c | 173 +
.../examples/basic-clause-groups-api-example.c | 168 +
.../jni/depqbf/examples/basic-manual-selectors.c | 0
.../jni/depqbf/examples/makefile | 3 +
{DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/makefile | 18 +-
{DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll.c | 11845 +++++++++++++------
{DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll.h | 157 +-
.../jni/depqbf/qdpll_app.c | 35 +-
.../jni/depqbf/qdpll_config.h | 14 +-
.../jni/depqbf/qdpll_dep_man_generic.h | 4 +-
.../jni/depqbf/qdpll_dep_man_qdag.c | 211 +-
.../jni/depqbf/qdpll_dep_man_qdag.h | 4 +-
.../jni/depqbf/qdpll_dep_man_qdag_types.h | 4 +-
.../jni/depqbf/qdpll_exit.h | 4 +-
.../jni/depqbf/qdpll_internals.h | 197 +-
.../jni/depqbf/qdpll_main.c | 4 +-
.../jni/depqbf/qdpll_mem.c | 4 +-
.../jni/depqbf/qdpll_mem.h | 4 +-
.../jni/depqbf/qdpll_pcnf.h | 126 +-
DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.c | 370 +
DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.h | 66 +
.../jni/depqbf/qdpll_stack.h | 4 +-
.../src/depqbf4j/DepQBF4J.java | 76 +-
.../src/depqbf4j/Example_basic_api_example.java | 0
.../src/depqbf4j/Example_basic_api_example2.java | 26 +-
.../src/depqbf4j/Example_basic_api_example3.java | 20 +-
.../Example_basic_clause_groups_api_example.java | 176 +
.../depqbf4j/Example_basic_manual_selectors.java | 0
.../src/depqbf4j/Makefile | 7 +-
NEWS | 21 +
README | 190 +-
debian/changelog | 9 +
debian/depqbf.lintian-overrides | 1 +
debian/patches/depqbf-makefile.patch | 21 +-
examples/basic-api-example.c | 4 +-
examples/basic-api-example3.c | 4 +-
.../basic-clause-groups-api-example-assumptions.c | 173 +
examples/basic-clause-groups-api-example.c | 168 +
examples/makefile | 3 +
makefile | 18 +-
qdpll.c | 11845 +++++++++++++------
qdpll.h | 157 +-
qdpll_app.c | 35 +-
qdpll_config.h | 14 +-
qdpll_dep_man_generic.h | 4 +-
qdpll_dep_man_qdag.c | 211 +-
qdpll_dep_man_qdag.h | 4 +-
qdpll_dep_man_qdag_types.h | 4 +-
qdpll_exit.h | 4 +-
qdpll_internals.h | 197 +-
qdpll_main.c | 4 +-
qdpll_mem.c | 4 +-
qdpll_mem.h | 4 +-
qdpll_pcnf.h | 126 +-
qdpll_pqueue.c | 370 +
qdpll_pqueue.h | 66 +
qdpll_stack.h | 4 +-
68 files changed, 19748 insertions(+), 7918 deletions(-)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/COPYING (100%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/ChangeLog (51%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/README (92%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/DepQBF4J.c (73%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/Makefile (100%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/COPYING (100%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/NEWS (58%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/README (58%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/examples/basic-api-example.c (100%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/examples/basic-api-example2.c (100%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/examples/basic-api-example3.c (100%)
create mode 100644 DepQBF4J-0.2/jni/depqbf/examples/basic-clause-groups-api-example-assumptions.c
create mode 100644 DepQBF4J-0.2/jni/depqbf/examples/basic-clause-groups-api-example.c
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/examples/basic-manual-selectors.c (100%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/examples/makefile (56%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/makefile (72%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll.c (65%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll.h (58%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll_app.c (92%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll_config.h (93%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll_dep_man_generic.h (95%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll_dep_man_qdag.c (97%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll_dep_man_qdag.h (93%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll_dep_man_qdag_types.h (96%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll_exit.h (90%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll_internals.h (57%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll_main.c (89%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll_mem.c (96%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll_mem.h (93%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll_pcnf.h (70%)
create mode 100644 DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.c
create mode 100644 DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.h
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/jni/depqbf/qdpll_stack.h (96%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/src/depqbf4j/DepQBF4J.java (71%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/src/depqbf4j/Example_basic_api_example.java (100%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/src/depqbf4j/Example_basic_api_example2.java (92%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/src/depqbf4j/Example_basic_api_example3.java (91%)
create mode 100644 DepQBF4J-0.2/src/depqbf4j/Example_basic_clause_groups_api_example.java
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/src/depqbf4j/Example_basic_manual_selectors.java (100%)
rename {DepQBF4J-0.1 => DepQBF4J-0.2}/src/depqbf4j/Makefile (77%)
create mode 100644 debian/depqbf.lintian-overrides
create mode 100644 examples/basic-clause-groups-api-example-assumptions.c
create mode 100644 examples/basic-clause-groups-api-example.c
create mode 100644 qdpll_pqueue.c
create mode 100644 qdpll_pqueue.h
--
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