[gringo] 02/20: Merge tag 'upstream/5.1.0'
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Sun Dec 11 21:06:56 UTC 2016
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a commit to branch devel
in repository gringo.
commit 191eee624319f732f9b91afdf4438ba5256fd6a5
Merge: 53fff6b 4234dad
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Fri Dec 9 07:46:49 2016 +0100
Merge tag 'upstream/5.1.0'
Upstream version 5.1.0
.gitignore | 17 +
.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/queens.sol => lp/project.sol} | 2 +
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/mutex-bug.lp | 124 +
.../tests/lua/{interrupt.sol => mutex-bug.sol} | 8 +-
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 +-
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 +
464 files changed, 116806 insertions(+), 35826 deletions(-)
--
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