[gringo] branch master updated (88be4af -> 5e6c12f)
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Sun Dec 11 21:06:59 UTC 2016
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a change to branch master
in repository gringo.
from 88be4af Update changelog
new 53fff6b watch gringo releases on github
adds 4234dad New upstream version 5.1.0
new 191eee6 Merge tag 'upstream/5.1.0'
new 525b528 debian/copyright: update copyright year and github source
new 9533b50 debian/control: Build-Depends on g++ >= 4:6.1.1 replaces libtbb-dev
new a20cdf5 debian/control: point Homepage to https://www.potassco.org
new 54d93d7 debian/control: use https for Vcs-*
new 08ca53d debian/rules: build lpconvert
new 7c36e8a install lpconvert
new ccd167c debian/rules: drop libtbb-dev and use c++11 multi-threading
new 9667d09 debian/control: update description and add lpconvert
new 4515c88 drop already applied upstream patches
new cf28bfe reproducible-build.patch: quilt refresh for gringo 5.1
new 60190a8 gringo-fix-body-literals-as-auxiliary.patch: add upstream patch
new f5cf603 gringo-manpages.patch: update for gringo series 5
new b2ce91e debian/control: add Breaks clasp (<< 3.2.1-1)
new 3695275 NEWS.Debian: describe aspif output format change
new 2a0723d debian/docs: use README.md
new 54baa5d Ignore quilt dir
new 6fc5739 debian/gringo.manpages: add lpconvert.1
new 5e6c12f Update changelog
The 20 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:
.gitignore | 18 +
.travis.yml | 33 +
.ycm_extra_conf.py | 182 +
CHANGES | 20 +
INSTALL | 105 +-
README => README.md | 18 +-
SConscript | 279 +-
SConstruct | 41 +-
app/cexample/main.c | 63 +
app/clingo/src/clasp/clasp_app.cpp | 538 +-
app/clingo/src/clasp/clasp_app.h | 100 +-
app/clingo/src/clingo_app.cc | 120 +-
app/clingo/src/clingo_app.hh | 28 +-
app/clingo/src/main.cc | 6 +-
app/clingo/tests/lp/bio.cmd | 1 +
app/clingo/tests/lp/bio.lp | 37 +
app/clingo/tests/lp/bio.sol | 30 +
app/clingo/tests/lp/project.cmd | 1 +
app/clingo/tests/lp/project.lp | 7 +
.../tests/{lua/assumptions1.sol => lp/project.sol} | 3 +-
app/clingo/tests/lp/show.lp | 16 +
app/clingo/tests/lp/show.sol | 25 +
app/clingo/tests/lp/subset.cmd | 1 +
app/clingo/tests/lp/subset.lp | 12 +
app/clingo/tests/lp/subset.sol | 246 +
app/clingo/tests/lua/assumptions1.lp | 4 +-
app/clingo/tests/lua/assumptions2.lp | 4 +-
app/clingo/tests/lua/assumptions3.lp | 6 +-
app/clingo/tests/lua/assumptions4.lp | 13 +-
app/clingo/tests/lua/blocksworld1.lp | 10 +-
app/clingo/tests/lua/conformant1.lp | 12 +-
app/clingo/tests/lua/conformant2.lp | 12 +-
app/clingo/tests/lua/conformant3.lp | 12 +-
app/clingo/tests/lua/conformant3.sol | 364 +-
app/clingo/tests/lua/cover-lua.lp | 40 +-
app/clingo/tests/lua/csp-shrinking.sol | 4 +-
app/clingo/tests/lua/domain.lp | 21 +-
app/clingo/tests/lua/externals.lp | 10 +-
app/clingo/tests/lua/externals.sol | 3 +
app/clingo/tests/lua/iclingo.lp | 6 +-
app/clingo/tests/lua/inccsp-onmodel.cmd | 1 +
app/clingo/tests/lua/inccsp-onmodel.lp | 37 +
app/clingo/tests/lua/inccsp-onmodel.sol | 21 +
app/clingo/tests/lua/inccsp.lp | 14 +
app/clingo/tests/lua/inccsp.sol | 21 +
app/clingo/tests/lua/incshow.lp | 12 +
app/clingo/tests/lua/incshow.sol | 21 +
app/clingo/tests/lua/interrupt.lp | 23 -
app/clingo/tests/lua/interrupt.sol | 7 -
app/clingo/tests/lua/mutex-bug.lp | 124 +
.../tests/lua/{externals.sol => mutex-bug.sol} | 6 +-
app/clingo/tests/lua/parse-term.lp | 14 +
app/clingo/tests/lua/parse-term.sol | 3 +
app/clingo/tests/lua/propagator.cmd | 1 +
app/clingo/tests/lua/propagator.lp | 371 +
app/clingo/tests/lua/propagator.sol | 5 +
app/clingo/tests/lua/queens.lp | 8 +-
app/clingo/tests/lua/queens.sol | 1234 +++
app/clingo/tests/lua/robots.lp | 6 +-
app/clingo/tests/lua/setconfig.lp | 8 +-
app/clingo/tests/lua/setconfig.sol | 1 +
app/clingo/tests/lua/show.lp | 21 +-
app/clingo/tests/lua/sokoban.lp | 8 +-
app/clingo/tests/lua/sokoban.sol | 8 +-
app/clingo/tests/lua/sokoban_back.lp | 8 +-
app/clingo/tests/lua/sokoban_back.sol | 8 +-
app/clingo/tests/lua/sokoban_para.lp | 8 +-
app/clingo/tests/lua/sokoban_para.sol | 20 +-
app/clingo/tests/lua/solitaire_para.lp | 6 +-
app/clingo/tests/lua/solitaire_para.sol | 18 +-
app/clingo/tests/lua/solitaire_sort.lp | 6 +-
app/clingo/tests/lua/solitaire_sort.sol | 8 +-
app/clingo/tests/lua/test.lp | 31 +-
app/clingo/tests/lua/test.sol | 12 +-
app/clingo/tests/lua/theory-term-types.lp | 17 +
app/clingo/tests/lua/theory-term-types.sol | 3 +
app/clingo/tests/lua/theory.lp | 72 +
app/clingo/tests/lua/theory.sol | 3 +
app/clingo/tests/lua/toh.lp | 6 +-
app/clingo/tests/lua/toh.sol | 2 +-
app/clingo/tests/lua/unsat-async.lp | 11 -
app/clingo/tests/python/assumptions1.lp | 4 +-
app/clingo/tests/python/assumptions2.lp | 4 +-
app/clingo/tests/python/assumptions3.lp | 6 +-
app/clingo/tests/python/assumptions4.lp | 8 +-
app/clingo/tests/python/ast.lp | 121 +
app/clingo/tests/python/ast.sol | 3 +
app/clingo/tests/python/ast2.lp | 132 +
app/clingo/tests/python/ast2.sol | 3 +
app/clingo/tests/python/ast3.lp | 142 +
app/clingo/tests/python/ast3.sol | 3 +
app/clingo/tests/python/cover-py.lp | 26 +-
app/clingo/tests/python/domain.lp | 23 +-
app/clingo/tests/python/externals.lp | 10 +-
app/clingo/tests/python/externals.sol | 3 +
app/clingo/tests/python/iclingo.lp | 8 +-
app/clingo/tests/python/interrupt.lp | 6 +-
app/clingo/tests/python/parse-term.lp | 14 +
app/clingo/tests/python/parse-term.sol | 3 +
app/clingo/tests/python/project.lp | 15 +-
app/clingo/tests/python/propagator.cmd | 1 +
app/clingo/tests/python/propagator.lp | 236 +
app/clingo/tests/python/propagator.sol | 5 +
app/clingo/tests/python/queens.lp | 6 +-
app/clingo/tests/python/queens.sol | 1448 +--
app/clingo/tests/python/setconfig.lp | 10 +-
app/clingo/tests/python/setconfig.sol | 1 +
app/clingo/tests/python/show.lp | 24 +-
app/clingo/tests/python/sokoban.lp | 16 +-
app/clingo/tests/python/tag.lp | 33 +
.../tests/{lua/unsat-async.sol => python/tag.sol} | 4 +-
app/clingo/tests/python/test.lp | 18 +-
app/clingo/tests/python/test.sol | 2 +-
app/clingo/tests/run.py | 169 +
app/clingo/tests/run.sh | 131 -
app/example/main.cc | 45 +-
app/gringo/main.cc | 354 +-
app/lpconvert/lpconvert.cpp | 108 +
app/luaclingo/src/main.cc | 10 +-
app/pyclingo/src/main.cc | 13 +-
app/reify/main.cc | 41 +-
app/web/main.cc | 5 +-
debian/NEWS.Debian | 12 +
debian/changelog | 20 +
debian/control | 33 +-
debian/copyright | 172 +-
debian/docs | 2 +-
debian/gringo.manpages | 1 +
debian/install | 1 +
.../gringo-fix-body-literals-as-auxiliary.patch | 302 +
debian/patches/gringo-include-math.patch | 24 -
debian/patches/gringo-manpages.patch | 128 +-
debian/patches/gringo-solve-multi.patch | 369 -
debian/patches/gringo-translate-minmax.patch | 36 -
debian/patches/reproducible-build.patch | 8 +-
debian/patches/series | 4 +-
debian/rules | 26 +-
debian/watch | 6 +-
examples/c/ast.c | 206 +
examples/c/backend.c | 143 +
examples/c/configuration.c | 117 +
examples/c/control.c | 98 +
examples/c/model.c | 170 +
examples/c/propagator.c | 329 +
examples/c/solve-async.c | 126 +
examples/c/solve-iteratively.c | 107 +
examples/c/statistics.c | 192 +
examples/c/symbol.c | 101 +
examples/c/symbolic-atoms.c | 120 +
examples/c/theory-atoms.c | 149 +
examples/c/version.c | 14 +
examples/clingo/addclause/addclause-lua.lp | 10 +-
examples/clingo/addclause/addclause-py.lp | 9 +-
examples/clingo/blocksworld/README | 4 +-
examples/clingo/blocksworld/control_01.out | 2 +-
examples/clingo/blocksworld/lua.lp | 8 +-
examples/clingo/consequences/brave-lua.lp | 10 +-
examples/clingo/consequences/brave-py.lp | 8 +-
examples/clingo/context/context-lua.lp | 4 +-
examples/clingo/context/context-py.lp | 4 +-
examples/clingo/controller-async/controller.py | 21 +-
examples/clingo/controller-processes/README | 2 +-
examples/clingo/controller-processes/client-lua.lp | 74 -
.../{client-py.lp => client.py} | 28 +-
examples/clingo/controller-threads/controller.py | 23 +-
examples/clingo/cover/control-lua.lp | 32 +-
examples/clingo/cover/control-py.lp | 26 +-
examples/clingo/domains/domains-lua.lp | 21 +-
examples/clingo/domains/domains-py.lp | 20 +-
examples/clingo/dot-propagator/README | 6 +
examples/clingo/dot-propagator/dot.lp | 31 +
examples/clingo/dot-propagator/test.lp | 5 +
examples/clingo/enum-assumption/example-lua.lp | 10 +-
examples/clingo/enum-assumption/example-py.lp | 10 +-
.../expansion/GraphColouring/encodings/encoding.lp | 4 +-
examples/clingo/expansion/README | 10 +-
examples/clingo/expansion/main.py | 189 +-
examples/clingo/external/external-lua.lp | 5 +-
examples/clingo/external/external-py.lp | 6 +-
examples/clingo/iclingo/README | 2 +-
examples/clingo/iclingo/incmode-lua.lp | 22 +-
examples/clingo/iclingo/incmode-py.lp | 24 +-
examples/clingo/incqueens/incqueens-lua.lp | 6 +-
examples/clingo/incqueens/incqueens-py.lp | 4 +-
examples/clingo/ipython/README | 23 -
examples/clingo/ipython/ipython.py | 7 -
examples/clingo/itersolve/itersolve-lua.lp | 8 +-
examples/clingo/onmodel/onmodel-lua.lp | 20 +-
examples/clingo/onmodel/onmodel-py.lp | 18 +-
examples/clingo/planning/README | 4 +-
examples/clingo/planning/convert.sh | 2 +-
examples/clingo/planning/planning-lua.lp | 8 +-
examples/clingo/pydoc/README | 2 +-
examples/clingo/pydoc/pydoc-lib.py | 18 +-
examples/clingo/pydoc/pydoc.lp | 20 +-
examples/clingo/robots/visualize.py | 50 +-
examples/clingo/setconf/setconf-lua.lp | 33 +-
examples/clingo/setconf/setconf-py.lp | 39 +-
examples/clingo/solitaire/visualize.py | 26 +-
examples/clingo/solve-async/README | 1 -
examples/clingo/solve-async/solve-async-lua.lp | 23 -
examples/clingo/solve-async/solve-async-py.lp | 4 +-
examples/clingo/stats/stats-lua.lp | 8 +-
examples/clingo/stats/stats-py.lp | 6 +-
examples/clingo/unblock/README | 2 +-
examples/clingo/unblock/visualize.py | 34 +-
examples/gringo/acyc/README | 5 +
examples/gringo/acyc/encoding.lp | 7 +
examples/gringo/acyc/instance.lp | 3 +
examples/gringo/ast/README | 6 +
examples/gringo/ast/example.lp | 7 +
examples/gringo/ast/visitor.lp | 72 +
examples/gringo/project/README | 5 +
examples/gringo/project/example.lp | 5 +
examples/gringo/subset/README | 6 +
examples/gringo/subset/example.lp | 7 +
examples/reify/meta.lp | 45 +-
examples/reify/metaD.lp | 80 +-
examples/reify/metaO.lp | 35 +-
examples/test.sh | 129 +
libclasp/clasp/asp_preprocessor.h | 32 +-
libclasp/clasp/cb_enumerator.h | 31 +-
libclasp/clasp/clasp_facade.h | 523 +-
libclasp/clasp/claspfwd.h | 66 +-
libclasp/clasp/clause.h | 284 +-
libclasp/clasp/cli/clasp_cli_configs.inl | 30 +-
libclasp/clasp/cli/clasp_cli_options.inl | 430 +-
libclasp/clasp/cli/clasp_options.h | 127 +-
libclasp/clasp/cli/clasp_output.h | 153 +-
libclasp/clasp/{util/thread.h => cli/clifwd.h} | 39 +-
libclasp/clasp/clingo.h | 144 +
libclasp/clasp/constraint.h | 464 +-
libclasp/clasp/dependency_graph.h | 367 +-
libclasp/clasp/enumerator.h | 92 +-
libclasp/clasp/heuristics.h | 250 +-
libclasp/clasp/literal.h | 395 +-
libclasp/clasp/logic_program.h | 665 +-
libclasp/clasp/logic_program_types.h | 676 +-
libclasp/clasp/lookahead.h | 102 +-
libclasp/clasp/minimize_constraint.h | 246 +-
libclasp/clasp/model_enumerators.h | 75 +-
libclasp/clasp/parallel_solve.h | 101 +-
libclasp/clasp/parser.h | 324 +-
libclasp/clasp/pod_vector.h | 26 +-
libclasp/clasp/program_builder.h | 133 +-
libclasp/clasp/satelite.h | 53 +-
libclasp/clasp/shared_context.h | 636 +-
libclasp/clasp/solve_algorithms.h | 159 +-
libclasp/clasp/solver.h | 530 +-
libclasp/clasp/solver_strategies.h | 331 +-
libclasp/clasp/solver_types.h | 703 +-
libclasp/clasp/statistics.h | 301 +
libclasp/clasp/unfounded_check.h | 82 +-
libclasp/clasp/util/atomic.h | 156 +-
libclasp/clasp/util/hash_map.h | 77 +
libclasp/clasp/util/left_right_sequence.h | 4 +-
libclasp/clasp/util/misc_types.h | 299 +-
libclasp/clasp/util/multi_queue.h | 76 +-
libclasp/clasp/util/mutex.h | 97 +-
libclasp/clasp/util/platform.h | 113 +-
libclasp/clasp/util/pod_vector.h | 8 +-
libclasp/clasp/util/thread.h | 41 +-
libclasp/clasp/util/timer.h | 36 +-
libclasp/clasp/weight_constraint.h | 98 +-
libclasp/libclasp.vcxproj | 213 +
libclasp/libclasp.vcxproj.filters | 254 +
libclasp/src/asp_preprocessor.cpp | 112 +-
libclasp/src/cb_enumerator.cpp | 312 +-
libclasp/src/clasp_facade.cpp | 1094 +-
libclasp/src/clasp_options.cpp | 397 +-
libclasp/src/clasp_output.cpp | 720 +-
libclasp/src/clause.cpp | 321 +-
libclasp/src/clingo.cpp | 280 +
libclasp/src/constraint.cpp | 103 +-
libclasp/src/dependency_graph.cpp | 757 +-
libclasp/src/enumerator.cpp | 115 +-
libclasp/src/heuristics.cpp | 585 +-
libclasp/src/logic_program.cpp | 2127 ++--
libclasp/src/logic_program_types.cpp | 1059 +-
libclasp/src/lookahead.cpp | 75 +-
libclasp/src/minimize_constraint.cpp | 658 +-
libclasp/src/model_enumerators.cpp | 174 +-
libclasp/src/parallel_solve.cpp | 410 +-
libclasp/src/parser.cpp | 718 +-
libclasp/src/program_builder.cpp | 273 +-
libclasp/src/satelite.cpp | 127 +-
libclasp/src/shared_context.cpp | 645 +-
libclasp/src/solve_algorithms.cpp | 342 +-
libclasp/src/solver.cpp | 1013 +-
libclasp/src/solver_strategies.cpp | 173 +-
libclasp/src/solver_types.cpp | 268 +-
libclasp/src/statistics.cpp | 265 +
libclasp/src/timer.cpp | 12 +-
libclasp/src/unfounded_check.cpp | 238 +-
libclasp/src/weight_constraint.cpp | 153 +-
libclingo/clingo/clingocontrol.hh | 432 +-
libclingo/src/clingocontrol.cc | 756 +-
libclingo/tests/ast.cc | 285 +
libclingo/tests/catch.hpp | 10509 +++++++++++++++++++
libclingo/tests/clingo.cc | 534 +
.../gringo/version.hh => libclingo/tests/main.cc | 10 +-
libclingo/tests/propagator.cc | 643 ++
libclingo/tests/symbol.cc | 106 +
libclingo/tests/tests.hh | 56 +
libclingo/tests/variant.cc | 75 +
libgringo/clingo.h | 3254 ++++++
libgringo/clingo.hh | 2079 ++++
libgringo/gringo/backend.hh | 60 +
libgringo/gringo/backtrace.hh | 78 +-
libgringo/gringo/base.hh | 84 +-
libgringo/gringo/bug.hh | 2 +-
libgringo/gringo/clonable.hh | 2 +-
libgringo/gringo/comparable.hh | 2 +-
libgringo/gringo/control.hh | 305 +-
libgringo/gringo/domain.hh | 972 +-
libgringo/gringo/flyweight.hh | 554 -
libgringo/gringo/graph.hh | 23 +-
libgringo/gringo/ground/binders.hh | 96 +-
libgringo/gringo/ground/dependency.hh | 49 +-
libgringo/gringo/ground/instantiation.hh | 54 +-
libgringo/gringo/ground/literal.hh | 28 +-
libgringo/gringo/ground/literals.hh | 145 +-
libgringo/gringo/ground/program.hh | 26 +-
libgringo/gringo/ground/statement.hh | 14 +-
libgringo/gringo/ground/statements.hh | 1804 ++--
libgringo/gringo/{version.hh => ground/types.hh} | 23 +-
libgringo/gringo/hash_set.hh | 615 ++
libgringo/gringo/hashable.hh | 6 +-
libgringo/gringo/indexed.hh | 95 +
libgringo/gringo/input/aggregate.hh | 45 +-
libgringo/gringo/input/aggregates.hh | 457 +-
libgringo/gringo/input/groundtermparser.hh | 37 +-
libgringo/gringo/input/literal.hh | 43 +-
libgringo/gringo/input/literals.hh | 214 +-
libgringo/gringo/input/nongroundparser.hh | 45 +-
libgringo/gringo/input/program.hh | 31 +-
libgringo/gringo/input/programbuilder.hh | 533 +-
libgringo/gringo/input/statement.hh | 56 +-
libgringo/gringo/input/theory.hh | 189 +
libgringo/gringo/{version.hh => input/types.hh} | 34 +-
libgringo/gringo/intervals.hh | 28 +-
libgringo/gringo/lexerstate.hh | 58 +-
libgringo/gringo/locatable.hh | 19 +-
libgringo/gringo/logger.hh | 130 +-
libgringo/gringo/lua.hh | 9 +-
libgringo/gringo/output/aggregates.hh | 66 +-
.../gringo/{version.hh => output/backends.hh} | 28 +-
libgringo/gringo/output/literal.hh | 203 +-
libgringo/gringo/output/literals.hh | 1528 ++-
libgringo/gringo/output/lparseoutputter.hh | 62 -
libgringo/gringo/output/output.hh | 126 +-
libgringo/gringo/output/statement.hh | 70 +-
libgringo/gringo/output/statements.hh | 679 +-
libgringo/gringo/output/theory.hh | 287 +
libgringo/gringo/output/types.hh | 59 +
libgringo/gringo/{printable.hh => primes.hh} | 33 +-
libgringo/gringo/printable.hh | 2 +-
libgringo/gringo/python.hh | 8 +-
libgringo/gringo/safetycheck.hh | 10 +-
libgringo/gringo/scripts.hh | 12 +-
libgringo/gringo/symbol.hh | 298 +
libgringo/gringo/term.hh | 229 +-
libgringo/gringo/terms.hh | 163 +-
.../reify/reify.hh => libgringo/gringo/types.hh | 30 +-
libgringo/gringo/unique_list.hh | 366 -
libgringo/gringo/utility.hh | 360 +-
libgringo/gringo/value.hh | 605 --
libgringo/gringo/version.hh | 5 +-
libgringo/src/backend.cc | 74 +
libgringo/src/control.cc | 3792 +++++++
libgringo/src/ground/instantiation.cc | 57 +-
libgringo/src/ground/literals.cc | 310 +-
libgringo/src/ground/program.cc | 113 +-
libgringo/src/ground/statements.cc | 2753 +++--
libgringo/src/input/aggregate.cc | 34 +-
libgringo/src/input/aggregates.cc | 3094 +++---
libgringo/src/input/groundtermgrammar.yy | 64 +-
libgringo/src/input/groundtermlexer.xh | 13 +-
libgringo/src/input/groundtermparser.cc | 74 +-
libgringo/src/input/literal.cc | 17 +-
libgringo/src/input/literals.cc | 114 +-
libgringo/src/input/nongroundgrammar.yy | 442 +-
libgringo/src/input/nongroundlexer.xch | 219 +
libgringo/src/input/nongroundlexer.xh | 177 -
libgringo/src/input/nongroundparser.cc | 171 +-
libgringo/src/input/program.cc | 133 +-
libgringo/src/input/programbuilder.cc | 1707 ++-
libgringo/src/input/statement.cc | 120 +-
libgringo/src/input/theory.cc | 574 +
libgringo/src/lua.cc | 2751 +++--
libgringo/src/output/aggregates.cc | 282 +-
libgringo/src/output/literal.cc | 60 +-
libgringo/src/output/literals.cc | 2111 +++-
libgringo/src/output/output.cc | 1250 +--
libgringo/src/output/statement.cc | 55 +
libgringo/src/output/statements.cc | 1400 +--
libgringo/src/output/theory.cc | 756 ++
libgringo/src/primes.cc | 192 +
libgringo/src/python.cc | 8016 ++++++++++----
libgringo/src/scripts.cc | 28 +-
libgringo/src/symbol.cc | 482 +
libgringo/src/term.cc | 598 +-
libgringo/src/terms.cc | 306 +-
libgringo/tests/catch.hpp | 10485 ++++++++++++++++++
libgringo/tests/flyweight.cc | 238 -
libgringo/tests/graph.cc | 60 +-
libgringo/tests/gringo_module.hh | 45 -
libgringo/tests/ground/dependency.cc | 219 +-
libgringo/tests/ground/grounder_helper.hh | 107 +
libgringo/tests/ground/instantiation.cc | 1561 ++-
libgringo/tests/ground/literal.cc | 202 +-
libgringo/tests/ground/program.cc | 435 +-
libgringo/tests/ground/theory.cc | 246 +
libgringo/tests/input/aggregate.cc | 603 +-
libgringo/tests/input/aggregate_helper.hh | 16 +-
libgringo/tests/input/lit_helper.hh | 12 +-
libgringo/tests/input/literal.cc | 275 +-
libgringo/tests/input/nongroundgrammar.cc | 1215 ++-
libgringo/tests/input/nongroundlexer.cc | 96 +-
libgringo/tests/input/parse_term.cc | 64 +
libgringo/tests/input/program.cc | 304 +-
libgringo/tests/input/programbuilder.cc | 231 +-
libgringo/tests/intervals.cc | 656 +-
libgringo/tests/lua.cc | 247 +-
libgringo/tests/main.cc | 16 +-
libgringo/tests/output/aspcomp13.cc | 4964 +++++----
libgringo/tests/output/incremental.cc | 479 +-
libgringo/tests/output/lparse.cc | 2575 +++--
libgringo/tests/output/solver_helper.hh | 93 +-
libgringo/tests/output/theory.cc | 240 +
libgringo/tests/output/warnings.cc | 219 +-
libgringo/tests/python.cc | 253 +-
libgringo/tests/safetycheck.cc | 51 +-
libgringo/tests/symbol.cc | 204 +
libgringo/tests/term.cc | 543 +-
libgringo/tests/term_helper.hh | 44 +-
libgringo/tests/tests.hh | 82 +-
libgringo/tests/unique_list.cc | 105 -
libgringo/tests/unique_vec.cc | 55 +
libgringo/tests/utility.cc | 392 +-
libgringo/tests/value.cc | 254 -
liblp/potassco/aspif.h | 130 +
liblp/potassco/aspif_text.h | 70 +
liblp/potassco/basic_types.h | 334 +
liblp/potassco/clingo.h | 211 +
liblp/potassco/convert.h | 94 +
liblp/potassco/match_basic_types.h | 266 +
liblp/potassco/rule_utils.h | 142 +
liblp/potassco/smodels.h | 188 +
liblp/potassco/theory_data.h | 408 +
liblp/src/aspif.cpp | 284 +
liblp/src/aspif_text.cpp | 324 +
app/clingo/src/main.cc => liblp/src/clingo.cpp | 30 +-
liblp/src/convert.cpp | 325 +
liblp/src/match_basic_types.cpp | 380 +
liblp/src/rule_utils.cpp | 231 +
liblp/src/smodels.cpp | 385 +
liblp/src/theory_data.cpp | 328 +
liblp/tests/CMakeLists.txt | 5 +
liblp/tests/aspif.cpp | 521 +
liblp/tests/catch.hpp | 9427 +++++++++++++++++
liblp/tests/common.h | 82 +
liblp/tests/main.cpp | 2 +
liblp/tests/smodels.cpp | 602 ++
liblp/tests/text.cpp | 153 +
libprogram_opts/program_opts/application.h | 4 +-
libprogram_opts/program_opts/program_options.h | 20 +-
libprogram_opts/program_opts/typed_value.h | 15 +-
libprogram_opts/program_opts/value.h | 14 +-
libprogram_opts/src/program_options.cpp | 35 +-
libprogram_opts/src/string_convert.cpp | 34 +-
libreify/reify/parser.hh | 60 -
libreify/reify/program.hh | 148 +-
libreify/reify/util.hh | 45 +-
libreify/src/lexer.xh | 121 -
libreify/src/parser.cc | 206 -
libreify/src/program.cc | 371 +-
libreify/tests/catch.hpp | 10485 ++++++++++++++++++
libreify/tests/main.cc | 33 +-
libreify/tests/parser.cc | 123 -
libreify/tests/program.cc | 118 +
481 files changed, 117441 insertions(+), 36342 deletions(-)
create mode 100644 .gitignore
create mode 100644 .travis.yml
create mode 100644 .ycm_extra_conf.py
rename README => README.md (58%)
create mode 100644 app/cexample/main.c
create mode 100644 app/clingo/tests/lp/bio.cmd
create mode 100644 app/clingo/tests/lp/bio.lp
create mode 100644 app/clingo/tests/lp/bio.sol
create mode 100644 app/clingo/tests/lp/project.cmd
create mode 100644 app/clingo/tests/lp/project.lp
copy app/clingo/tests/{lua/assumptions1.sol => lp/project.sol} (54%)
create mode 100644 app/clingo/tests/lp/show.lp
create mode 100644 app/clingo/tests/lp/show.sol
create mode 100644 app/clingo/tests/lp/subset.cmd
create mode 100644 app/clingo/tests/lp/subset.lp
create mode 100644 app/clingo/tests/lp/subset.sol
create mode 100644 app/clingo/tests/lua/inccsp-onmodel.cmd
create mode 100644 app/clingo/tests/lua/inccsp-onmodel.lp
create mode 100644 app/clingo/tests/lua/inccsp-onmodel.sol
create mode 100644 app/clingo/tests/lua/inccsp.lp
create mode 100644 app/clingo/tests/lua/inccsp.sol
create mode 100644 app/clingo/tests/lua/incshow.lp
create mode 100644 app/clingo/tests/lua/incshow.sol
delete mode 100644 app/clingo/tests/lua/interrupt.lp
delete mode 100644 app/clingo/tests/lua/interrupt.sol
create mode 100644 app/clingo/tests/lua/mutex-bug.lp
copy app/clingo/tests/lua/{externals.sol => mutex-bug.sol} (70%)
create mode 100644 app/clingo/tests/lua/parse-term.lp
create mode 100644 app/clingo/tests/lua/parse-term.sol
create mode 100644 app/clingo/tests/lua/propagator.cmd
create mode 100644 app/clingo/tests/lua/propagator.lp
create mode 100644 app/clingo/tests/lua/propagator.sol
create mode 100644 app/clingo/tests/lua/theory-term-types.lp
create mode 100644 app/clingo/tests/lua/theory-term-types.sol
create mode 100644 app/clingo/tests/lua/theory.lp
create mode 100644 app/clingo/tests/lua/theory.sol
delete mode 100644 app/clingo/tests/lua/unsat-async.lp
create mode 100644 app/clingo/tests/python/ast.lp
create mode 100644 app/clingo/tests/python/ast.sol
create mode 100644 app/clingo/tests/python/ast2.lp
create mode 100644 app/clingo/tests/python/ast2.sol
create mode 100644 app/clingo/tests/python/ast3.lp
create mode 100644 app/clingo/tests/python/ast3.sol
create mode 100644 app/clingo/tests/python/parse-term.lp
create mode 100644 app/clingo/tests/python/parse-term.sol
create mode 100644 app/clingo/tests/python/propagator.cmd
create mode 100644 app/clingo/tests/python/propagator.lp
create mode 100644 app/clingo/tests/python/propagator.sol
create mode 100644 app/clingo/tests/python/tag.lp
rename app/clingo/tests/{lua/unsat-async.sol => python/tag.sol} (69%)
create mode 100755 app/clingo/tests/run.py
delete mode 100755 app/clingo/tests/run.sh
create mode 100644 app/lpconvert/lpconvert.cpp
create mode 100644 debian/NEWS.Debian
create mode 100644 debian/patches/gringo-fix-body-literals-as-auxiliary.patch
delete mode 100644 debian/patches/gringo-include-math.patch
delete mode 100644 debian/patches/gringo-solve-multi.patch
delete mode 100644 debian/patches/gringo-translate-minmax.patch
create mode 100644 examples/c/ast.c
create mode 100644 examples/c/backend.c
create mode 100644 examples/c/configuration.c
create mode 100644 examples/c/control.c
create mode 100644 examples/c/model.c
create mode 100644 examples/c/propagator.c
create mode 100644 examples/c/solve-async.c
create mode 100644 examples/c/solve-iteratively.c
create mode 100644 examples/c/statistics.c
create mode 100644 examples/c/symbol.c
create mode 100644 examples/c/symbolic-atoms.c
create mode 100644 examples/c/theory-atoms.c
create mode 100644 examples/c/version.c
delete mode 100644 examples/clingo/controller-processes/client-lua.lp
rename examples/clingo/controller-processes/{client-py.lp => client.py} (70%)
create mode 100644 examples/clingo/dot-propagator/README
create mode 100644 examples/clingo/dot-propagator/dot.lp
create mode 100644 examples/clingo/dot-propagator/test.lp
delete mode 100644 examples/clingo/ipython/README
delete mode 100644 examples/clingo/ipython/ipython.py
delete mode 100644 examples/clingo/solve-async/solve-async-lua.lp
create mode 100644 examples/gringo/acyc/README
create mode 100644 examples/gringo/acyc/encoding.lp
create mode 100644 examples/gringo/acyc/instance.lp
create mode 100644 examples/gringo/ast/README
create mode 100644 examples/gringo/ast/example.lp
create mode 100644 examples/gringo/ast/visitor.lp
create mode 100644 examples/gringo/project/README
create mode 100644 examples/gringo/project/example.lp
create mode 100644 examples/gringo/subset/README
create mode 100644 examples/gringo/subset/example.lp
create mode 100755 examples/test.sh
copy libclasp/clasp/{util/thread.h => cli/clifwd.h} (52%)
create mode 100644 libclasp/clasp/clingo.h
create mode 100644 libclasp/clasp/statistics.h
create mode 100644 libclasp/clasp/util/hash_map.h
create mode 100644 libclasp/libclasp.vcxproj
create mode 100644 libclasp/libclasp.vcxproj.filters
create mode 100644 libclasp/src/clingo.cpp
create mode 100644 libclasp/src/statistics.cpp
create mode 100644 libclingo/tests/ast.cc
create mode 100644 libclingo/tests/catch.hpp
create mode 100644 libclingo/tests/clingo.cc
copy libgringo/gringo/version.hh => libclingo/tests/main.cc (82%)
create mode 100644 libclingo/tests/propagator.cc
create mode 100644 libclingo/tests/symbol.cc
create mode 100644 libclingo/tests/tests.hh
create mode 100644 libclingo/tests/variant.cc
create mode 100644 libgringo/clingo.h
create mode 100644 libgringo/clingo.hh
create mode 100644 libgringo/gringo/backend.hh
delete mode 100644 libgringo/gringo/flyweight.hh
copy libgringo/gringo/{version.hh => ground/types.hh} (61%)
create mode 100644 libgringo/gringo/hash_set.hh
create mode 100644 libgringo/gringo/indexed.hh
create mode 100644 libgringo/gringo/input/theory.hh
copy libgringo/gringo/{version.hh => input/types.hh} (51%)
copy libgringo/gringo/{version.hh => output/backends.hh} (55%)
delete mode 100644 libgringo/gringo/output/lparseoutputter.hh
create mode 100644 libgringo/gringo/output/theory.hh
create mode 100644 libgringo/gringo/output/types.hh
copy libgringo/gringo/{printable.hh => primes.hh} (65%)
create mode 100644 libgringo/gringo/symbol.hh
rename libreify/reify/reify.hh => libgringo/gringo/types.hh (65%)
delete mode 100644 libgringo/gringo/unique_list.hh
delete mode 100644 libgringo/gringo/value.hh
create mode 100644 libgringo/src/backend.cc
create mode 100644 libgringo/src/control.cc
create mode 100644 libgringo/src/input/nongroundlexer.xch
delete mode 100644 libgringo/src/input/nongroundlexer.xh
create mode 100644 libgringo/src/input/theory.cc
create mode 100644 libgringo/src/output/statement.cc
create mode 100644 libgringo/src/output/theory.cc
create mode 100644 libgringo/src/primes.cc
create mode 100644 libgringo/src/symbol.cc
create mode 100644 libgringo/tests/catch.hpp
delete mode 100644 libgringo/tests/flyweight.cc
delete mode 100644 libgringo/tests/gringo_module.hh
create mode 100644 libgringo/tests/ground/grounder_helper.hh
create mode 100644 libgringo/tests/ground/theory.cc
create mode 100644 libgringo/tests/input/parse_term.cc
create mode 100644 libgringo/tests/output/theory.cc
create mode 100644 libgringo/tests/symbol.cc
delete mode 100644 libgringo/tests/unique_list.cc
create mode 100644 libgringo/tests/unique_vec.cc
delete mode 100644 libgringo/tests/value.cc
create mode 100644 liblp/potassco/aspif.h
create mode 100644 liblp/potassco/aspif_text.h
create mode 100644 liblp/potassco/basic_types.h
create mode 100644 liblp/potassco/clingo.h
create mode 100644 liblp/potassco/convert.h
create mode 100644 liblp/potassco/match_basic_types.h
create mode 100644 liblp/potassco/rule_utils.h
create mode 100644 liblp/potassco/smodels.h
create mode 100644 liblp/potassco/theory_data.h
create mode 100644 liblp/src/aspif.cpp
create mode 100644 liblp/src/aspif_text.cpp
copy app/clingo/src/main.cc => liblp/src/clingo.cpp (51%)
create mode 100644 liblp/src/convert.cpp
create mode 100644 liblp/src/match_basic_types.cpp
create mode 100644 liblp/src/rule_utils.cpp
create mode 100644 liblp/src/smodels.cpp
create mode 100644 liblp/src/theory_data.cpp
create mode 100644 liblp/tests/CMakeLists.txt
create mode 100644 liblp/tests/aspif.cpp
create mode 100644 liblp/tests/catch.hpp
create mode 100644 liblp/tests/common.h
create mode 100644 liblp/tests/main.cpp
create mode 100644 liblp/tests/smodels.cpp
create mode 100644 liblp/tests/text.cpp
delete mode 100644 libreify/reify/parser.hh
delete mode 100644 libreify/src/lexer.xh
delete mode 100644 libreify/src/parser.cc
create mode 100644 libreify/tests/catch.hpp
delete mode 100644 libreify/tests/parser.cc
create mode 100644 libreify/tests/program.cc
--
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