[gringo] 01/04: Update upstream source from tag 'upstream/5.2.2'

[Thomas Krennwallner]

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch devel
in repository gringo.

commit c320ed23c062a9b05bf5b7c7bd31bf5e04a4767f
Merge: 49eacfe 4001c3f
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Fri Nov 10 07:11:16 2017 +0100

    Update upstream source from tag 'upstream/5.2.2'
    
    Update to upstream version '5.2.2'
    with Debian dir 72642b2b40c955eb6e1154aff2af4a24def5027b

 .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
 app/clingo/tests/python/cancel.sol                 |    7 +
 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 +
 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 +-
 59 files changed, 2789 insertions(+), 2618 deletions(-)

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