[gringo] branch devel updated (49eacfe -> 16ac395)
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Fri Nov 10 07:50:15 UTC 2017
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a change to branch devel
in repository gringo.
from 49eacfe gringo 5.2.1-4 changelog
adds 4001c3f New upstream version 5.2.2
new c320ed2 Update upstream source from tag 'upstream/5.2.2'
new b509970 drop upstream applied gringo-remove-wrong-assertion.patch
new 1912d51 debian/symbols: add arm64 kfreebsd-amd64 kfreebsd-i386 symbols
new 16ac395 gringo 5.2.2-1 changelog
The 4 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:
.travis.yml | 49 -
.ycm_extra_conf.py | 178 --
CHANGES.md | 11 +
CMakeLists.txt | 3 +-
INSTALL.md | 4 +-
README.md | 1 +
app/clingo/CMakeLists.txt | 2 +-
app/clingo/tests/lua/infsup.lp | 16 +
app/clingo/tests/lua/infsup.sol | 3 +
.../tests/python/{interrupt.lp => cancel.lp} | 0
.../tests/python/{interrupt.sol => cancel.sol} | 0
app/clingo/tests/python/infsup.lp | 14 +
app/clingo/tests/python/infsup.sol | 3 +
app/clingo/tests/python/interrupt.lp | 2 +-
app/gringo/CMakeLists.txt | 2 +-
app/reify/CMakeLists.txt | 2 +-
clasp/.travis.yml | 50 +
clasp/CHANGES | 8 +
clasp/CMakeLists.txt | 52 +-
clasp/app/CMakeLists.txt | 6 +-
clasp/cmake/clasp-config.cmake | 2 -
clasp/cmake/clasp-config.cmake.in | 8 +
clasp/create-archive.sh | 14 +
clasp/libpotassco/.travis.yml | 47 +
clasp/libpotassco/CMakeLists.txt | 17 +-
clasp/libpotassco/app/CMakeLists.txt | 7 +-
clasp/libpotassco/potassco/basic_types.h | 2 +-
clasp/libpotassco/src/CMakeLists.txt | 11 +-
clasp/libpotassco/src/application.cpp | 21 +-
clasp/libpotassco/src/string_convert.cpp | 2 +-
clasp/src/CMakeLists.txt | 35 +-
clasp/src/clasp_facade.cpp | 1 +
clasp/src/dependency_graph.cpp | 3 +-
clasp/src/logic_program.cpp | 1 -
clasp/tests/dlp_builder_test.cpp | 9 +
debian/changelog | 9 +
debian/patches/gringo-remove-wrong-assertion.patch | 48 -
debian/patches/series | 1 -
debian/symbols | 40 +-
libclingo/CMakeLists.txt | 8 +-
libclingo/clingo.h | 11 +-
libclingo/clingo/clingocontrol.hh | 5 +-
libclingo/src/clingocontrol.cc | 4 +-
libclingo/src/control.cc | 4 +-
libgringo/CMakeLists.txt | 2 +-
.../gen/src/input/groundtermgrammar/grammar.cc | 231 +-
.../gen/src/input/groundtermgrammar/grammar.hh | 93 +-
.../gen/src/input/groundtermgrammar/location.hh | 20 +-
.../gen/src/input/groundtermgrammar/position.hh | 28 +-
libgringo/gen/src/input/groundtermgrammar/stack.hh | 18 +-
libgringo/gen/src/input/groundtermlexer.hh | 101 +-
.../gen/src/input/nongroundgrammar/grammar.cc | 1363 +++++-----
.../gen/src/input/nongroundgrammar/grammar.hh | 97 +-
libgringo/gen/src/input/nongroundgrammar/stack.hh | 18 +-
libgringo/gen/src/input/nongroundlexer.hh | 2746 ++++++++++----------
libgringo/gringo/base.hh | 6 +-
libgringo/gringo/output/literal.hh | 2 +-
libgringo/src/output/literals.cc | 10 +-
libluaclingo/CMakeLists.txt | 6 +-
libluaclingo/luaclingo.cc | 2 +-
libpyclingo/CMakeLists.txt | 6 +-
libpyclingo/pyclingo.cc | 31 +-
libreify/CMakeLists.txt | 2 +-
63 files changed, 2811 insertions(+), 2687 deletions(-)
delete mode 100644 .travis.yml
delete mode 100644 .ycm_extra_conf.py
create mode 100644 app/clingo/tests/lua/infsup.lp
create mode 100644 app/clingo/tests/lua/infsup.sol
copy app/clingo/tests/python/{interrupt.lp => cancel.lp} (100%)
copy app/clingo/tests/python/{interrupt.sol => cancel.sol} (100%)
create mode 100644 app/clingo/tests/python/infsup.lp
create mode 100644 app/clingo/tests/python/infsup.sol
create mode 100644 clasp/.travis.yml
delete mode 100644 clasp/cmake/clasp-config.cmake
create mode 100644 clasp/cmake/clasp-config.cmake.in
create mode 100755 clasp/create-archive.sh
create mode 100644 clasp/libpotassco/.travis.yml
delete mode 100644 debian/patches/gringo-remove-wrong-assertion.patch
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git
More information about the debian-science-commits
mailing list