[gringo] 01/11: Updated version 5.2.1 from 'upstream/5.2.1'
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Wed Nov 1 16:15:57 UTC 2017
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a commit to branch devel
in repository gringo.
commit a652f59e9d40a7c3fcc3a276f94af7b8e993fcef
Merge: 55a207c 1fe9396
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Sun Sep 3 09:38:34 2017 +0200
Updated version 5.2.1 from 'upstream/5.2.1'
with Debian dir 4a5dce26503c1f54a85feb132583100bee319d8f
.gitignore | 18 -
.travis.yml | 34 +-
.ycm_extra_conf.py | 20 +-
CHANGES => CHANGES.md | 60 +-
CMakeLists.txt | 177 +
COPYING | 674 ---
INSTALL | 213 -
INSTALL.md | 187 +
LICENSE.md | 21 +
README.md | 36 +-
SConscript | 535 --
SConstruct | 154 -
app/cexample/main.c | 63 -
app/clingo/CMakeLists.txt | 18 +
app/clingo/main.cc | 52 +
app/clingo/src/clingo_app.hh | 68 -
app/clingo/src/main.cc | 27 -
app/clingo/tests/CMakeLists.txt | 8 +
app/clingo/tests/lp/aggregates.lp | 38 +
app/clingo/tests/lp/aggregates.sol | 2 +
app/clingo/tests/lp/elevator.lp | 85 +
app/clingo/tests/lp/elevator.sol | 4 +
app/clingo/tests/lp/istop.lp | 7 +
app/clingo/tests/lp/istop.sol | 2 +
app/clingo/tests/lua/assumptions1.lp | 2 +-
app/clingo/tests/lua/assumptions2.lp | 2 +-
app/clingo/tests/lua/assumptions3.lp | 4 +-
app/clingo/tests/lua/assumptions4.lp | 6 +-
app/clingo/tests/lua/check-lua.lp | 45 +
app/clingo/tests/lua/check-lua.sol | 3 +
app/clingo/tests/lua/cover-lua.lp | 4 +-
app/clingo/tests/lua/inccsp-onmodel.lp | 10 +-
app/clingo/tests/lua/observer-replace.lp | 283 +
app/clingo/tests/lua/observer-replace.sol | 3 +
app/clingo/tests/lua/observer.cmd | 1 +
app/clingo/tests/lua/observer.lp | 282 +
app/clingo/tests/lua/observer.sol | 13 +
app/clingo/tests/lua/propagator.lp | 2 +-
app/clingo/tests/lua/show.lp | 2 +-
app/clingo/tests/lua/test.lp | 2 +-
app/clingo/tests/lua/theory-term-types.lp | 1 +
app/clingo/tests/lua/theory.lp | 4 +-
app/clingo/tests/python/assumptions4.lp | 9 +-
app/clingo/tests/python/ast.lp | 5 +-
app/clingo/tests/python/check-py.lp | 35 +
app/clingo/tests/python/check-py.sol | 3 +
app/clingo/tests/python/interrupt.lp | 6 +-
app/clingo/tests/python/observer-replace.lp | 148 +
app/clingo/tests/python/observer-replace.sol | 3 +
app/clingo/tests/python/observer.cmd | 1 +
app/clingo/tests/python/observer.lp | 146 +
app/clingo/tests/python/observer.sol | 13 +
app/clingo/tests/python/project.lp | 2 +-
app/clingo/tests/python/show.lp | 2 +-
app/clingo/tests/python/tag.lp | 19 +-
app/clingo/tests/python/test.lp | 8 +-
app/clingo/tests/python/test.sol | 20 +-
app/clingo/tests/run.py | 51 +-
app/example/main.cc | 47 -
app/gringo/CMakeLists.txt | 14 +
app/gringo/main.cc | 451 +-
app/lpconvert/lpconvert.cpp | 108 -
app/luaclingo/CMakeLists.txt | 36 +
app/luaclingo/main.cc | 41 +
app/luaclingo/src/main.cc | 43 -
app/pyclingo/CMakeLists.txt | 56 +
app/pyclingo/main.cc | 58 +
app/pyclingo/src/main.cc | 50 -
app/reify/CMakeLists.txt | 16 +
app/reify/main.cc | 58 +-
app/web/CMakeLists.txt | 18 +
app/web/main.cc | 42 +-
clasp/CHANGES | 686 +++
clasp/CMakeLists.txt | 105 +
clasp/LICENSE | 22 +
clasp/README.md | 128 +
clasp/app/CMakeLists.txt | 20 +
{app/clingo/src/clasp => clasp/app}/clasp_app.cpp | 262 +-
{app/clingo/src/clasp => clasp/app}/clasp_app.h | 62 +-
clasp/app/main.cpp | 47 +
{libclasp => clasp}/clasp/asp_preprocessor.h | 28 +-
{libclasp => clasp}/clasp/cb_enumerator.h | 28 +-
{libclasp => clasp}/clasp/clasp_facade.h | 252 +-
{libclasp => clasp}/clasp/claspfwd.h | 28 +-
{libclasp => clasp}/clasp/clause.h | 40 +-
clasp/clasp/cli/clasp_cli_configs.inl | 95 +
.../clasp/cli/clasp_cli_options.inl | 373 +-
{libclasp => clasp}/clasp/cli/clasp_options.h | 54 +-
{libclasp => clasp}/clasp/cli/clasp_output.h | 39 +-
clasp/clasp/clingo.h | 167 +
clasp/clasp/config.h.in | 86 +
{libclasp => clasp}/clasp/constraint.h | 28 +-
{libclasp => clasp}/clasp/dependency_graph.h | 28 +-
{libclasp => clasp}/clasp/enumerator.h | 56 +-
{libclasp => clasp}/clasp/heuristics.h | 28 +-
{libclasp => clasp}/clasp/literal.h | 30 +-
{libclasp => clasp}/clasp/logic_program.h | 68 +-
{libclasp => clasp}/clasp/logic_program_types.h | 38 +-
{libclasp => clasp}/clasp/lookahead.h | 28 +-
{libclasp => clasp}/clasp/minimize_constraint.h | 144 +-
{libclasp => clasp}/clasp/model_enumerators.h | 48 +-
clasp/clasp/mt/mutex.h | 50 +
.../clasp => clasp/clasp/mt}/parallel_solve.h | 89 +-
clasp/clasp/mt/thread.h | 33 +
{libclasp => clasp}/clasp/parser.h | 56 +-
{libclasp => clasp}/clasp/pod_vector.h | 32 +-
{libclasp => clasp}/clasp/program_builder.h | 37 +-
{libclasp => clasp}/clasp/satelite.h | 28 +-
{libclasp => clasp}/clasp/shared_context.h | 50 +-
{libclasp => clasp}/clasp/solve_algorithms.h | 31 +-
{libclasp => clasp}/clasp/solver.h | 36 +-
{libclasp => clasp}/clasp/solver_strategies.h | 127 +-
{libclasp => clasp}/clasp/solver_types.h | 32 +-
{libclasp => clasp}/clasp/statistics.h | 42 +-
{libclasp => clasp}/clasp/unfounded_check.h | 32 +-
clasp/clasp/util/hash.h | 48 +
.../clasp/util/indexed_priority_queue.h | 52 +-
.../clasp/util/left_right_sequence.h | 56 +-
{libclasp => clasp}/clasp/util/misc_types.h | 34 +-
{libclasp => clasp}/clasp/util/multi_queue.h | 45 +-
{libclasp => clasp}/clasp/util/pod_vector.h | 124 +-
{libclasp => clasp}/clasp/util/timer.h | 36 +-
{libclasp => clasp}/clasp/util/type_manip.h | 48 +-
{libclasp => clasp}/clasp/weight_constraint.h | 38 +-
clasp/cmake/clasp-config-version.cmake.in | 19 +
clasp/cmake/clasp-config.cmake | 2 +
clasp/doc/api/clasp.doxy | 2363 ++++++++
clasp/doc/api/clasp.txt | 35 +
clasp/doc/api/layout.css | 74 +
clasp/doc/api/layout.xml | 194 +
clasp/doc/api/potassco-logo.png | Bin 0 -> 3319 bytes
clasp/examples/CMakeLists.txt | 10 +
clasp/examples/example.h | 37 +
clasp/examples/example1.cpp | 126 +
clasp/examples/example2.cpp | 90 +
clasp/examples/example3.cpp | 69 +
clasp/examples/example4.cpp | 62 +
clasp/examples/main.cpp | 53 +
clasp/libpotassco/CMakeLists.txt | 66 +
clasp/libpotassco/LICENSE | 22 +
clasp/libpotassco/README.md | 64 +
clasp/libpotassco/app/CMakeLists.txt | 5 +
clasp/libpotassco/app/lpconvert.cpp | 123 +
.../cmake/potassco-config-version.cmake.in | 19 +
clasp/libpotassco/cmake/potassco-config.cmake | 2 +
clasp/libpotassco/doc/Doxyfile | 2406 ++++++++
clasp/libpotassco/doc/layout.css | 74 +
clasp/libpotassco/doc/layout.xml | 194 +
clasp/libpotassco/doc/potassco-logo.png | Bin 0 -> 3319 bytes
.../libpotassco/potassco}/application.h | 64 +-
{liblp => clasp/libpotassco}/potassco/aspif.h | 63 +-
clasp/libpotassco/potassco/aspif_text.h | 139 +
.../libpotassco}/potassco/basic_types.h | 150 +-
{liblp => clasp/libpotassco}/potassco/clingo.h | 66 +-
{liblp => clasp/libpotassco}/potassco/convert.h | 51 +-
.../libpotassco}/potassco/match_basic_types.h | 130 +-
clasp/libpotassco/potassco/platform.h | 174 +
.../potassco}/program_opts/detail/notifier.h | 37 +-
.../potassco/program_opts/detail/refcountable.h | 82 +
.../potassco/program_opts/detail/value_store.h | 90 +
.../libpotassco/potassco}/program_opts/errors.h | 47 +-
.../potassco}/program_opts/mapped_value.h | 45 +-
.../potassco}/program_opts/program_options.h | 149 +-
.../potassco}/program_opts/typed_value.h | 100 +-
.../libpotassco/potassco}/program_opts/value.h | 118 +-
.../potassco}/program_opts/value_store.h | 47 +-
{liblp => clasp/libpotassco}/potassco/rule_utils.h | 106 +-
{liblp => clasp/libpotassco}/potassco/smodels.h | 57 +-
.../libpotassco/potassco}/string_convert.h | 166 +-
.../libpotassco}/potassco/theory_data.h | 129 +-
clasp/libpotassco/src/CMakeLists.txt | 69 +
.../libpotassco}/src/application.cpp | 126 +-
{liblp => clasp/libpotassco}/src/aspif.cpp | 174 +-
clasp/libpotassco/src/aspif_text.cpp | 640 ++
clasp/libpotassco/src/clingo.cpp | 35 +
{liblp => clasp/libpotassco}/src/convert.cpp | 86 +-
.../libpotassco}/src/match_basic_types.cpp | 187 +-
.../libpotassco}/src/program_options.cpp | 344 +-
clasp/libpotassco/src/rule_utils.cpp | 245 +
{liblp => clasp/libpotassco}/src/smodels.cpp | 160 +-
clasp/libpotassco/src/string_convert.cpp | 523 ++
{liblp => clasp/libpotassco}/src/theory_data.cpp | 227 +-
clasp/libpotassco/src/value_store.cpp | 86 +
clasp/libpotassco/tests/CMakeLists.txt | 35 +
{liblp => clasp/libpotassco}/tests/catch.hpp | 5477 +++++++++++------
clasp/libpotassco/tests/main.cpp | 19 +
clasp/libpotassco/tests/test_application.cpp | 108 +
.../libpotassco/tests/test_aspif.cpp | 194 +-
.../libpotassco/tests/test_common.h | 45 +-
clasp/libpotassco/tests/test_options.cpp | 372 ++
.../libpotassco/tests/test_smodels.cpp | 43 +-
clasp/libpotassco/tests/test_string_convert.cpp | 442 ++
clasp/libpotassco/tests/test_text.cpp | 458 ++
clasp/libpotassco/tests/test_value.cpp | 240 +
clasp/src/CMakeLists.txt | 152 +
{libclasp => clasp}/src/asp_preprocessor.cpp | 28 +-
{libclasp => clasp}/src/cb_enumerator.cpp | 37 +-
{libclasp => clasp}/src/clasp_facade.cpp | 690 ++-
{libclasp => clasp}/src/clasp_options.cpp | 431 +-
{libclasp => clasp}/src/clasp_output.cpp | 116 +-
{libclasp => clasp}/src/clause.cpp | 39 +-
{libclasp => clasp}/src/clingo.cpp | 147 +-
{libclasp => clasp}/src/constraint.cpp | 32 +-
{libclasp => clasp}/src/dependency_graph.cpp | 66 +-
{libclasp => clasp}/src/enumerator.cpp | 90 +-
{libclasp => clasp}/src/heuristics.cpp | 128 +-
{libclasp => clasp}/src/logic_program.cpp | 224 +-
{libclasp => clasp}/src/logic_program_types.cpp | 48 +-
{libclasp => clasp}/src/lookahead.cpp | 28 +-
{libclasp => clasp}/src/minimize_constraint.cpp | 692 ++-
{libclasp => clasp}/src/model_enumerators.cpp | 188 +-
{libclasp => clasp}/src/parallel_solve.cpp | 152 +-
{libclasp => clasp}/src/parser.cpp | 171 +-
{libclasp => clasp}/src/program_builder.cpp | 87 +-
{libclasp => clasp}/src/satelite.cpp | 28 +-
{libclasp => clasp}/src/shared_context.cpp | 118 +-
{libclasp => clasp}/src/solve_algorithms.cpp | 67 +-
{libclasp => clasp}/src/solver.cpp | 107 +-
{libclasp => clasp}/src/solver_strategies.cpp | 46 +-
{libclasp => clasp}/src/solver_types.cpp | 38 +-
{libclasp => clasp}/src/statistics.cpp | 58 +-
{libclasp => clasp}/src/timer.cpp | 53 +-
{libclasp => clasp}/src/unfounded_check.cpp | 28 +-
{libclasp => clasp}/src/weight_constraint.cpp | 51 +-
clasp/tests/CMakeLists.txt | 7 +
{liblp => clasp}/tests/catch.hpp | 5756 ++++++++++++------
clasp/tests/clause_creator_test.cpp | 535 ++
clasp/tests/clause_test.cpp | 1018 ++++
clasp/tests/cli_test.cpp | 625 ++
clasp/tests/decision_heuristic_test.cpp | 677 +++
clasp/tests/dependency_graph_test.cpp | 351 ++
clasp/tests/dlp_builder_test.cpp | 335 ++
clasp/tests/enumerator_test.cpp | 541 ++
clasp/tests/facade_test.cpp | 1687 ++++++
clasp/tests/literal_test.cpp | 205 +
clasp/tests/lpcompare.h | 98 +
clasp/tests/minimize_test.cpp | 1117 ++++
clasp/tests/parser_test.cpp | 970 +++
clasp/tests/program_builder_test.cpp | 2305 ++++++++
clasp/tests/rule_test.cpp | 547 ++
clasp/tests/satelite_test.cpp | 185 +
clasp/tests/solver_test.cpp | 2004 +++++++
clasp/tests/test_main.cpp | 46 +
clasp/tests/unfounded_check_test.cpp | 579 ++
clasp/tests/weight_constraint_test.cpp | 717 +++
clasp/tools/clasp-option-template.inl | 260 +
clasp/tools/generate-pcs.sh | 67 +
cmake/FindRE2C.cmake | 90 +
cmake/clingo_functions.cmake | 45 +
cmake/glob-paths.py | 89 +
cmake/python-site.py | 13 +
doc/api/Doxyfile | 2407 ++++++++
doc/api/DoxygenLayout.xml | 194 +
doc/api/clingo.css | 84 +
examples/c/CMakeLists.txt | 67 +
examples/c/ast.c | 45 +-
examples/c/backend.c | 37 +-
examples/c/configuration.c | 37 +-
examples/c/control.c | 37 +-
examples/c/model.c | 37 +-
examples/c/propagator.c | 37 +-
examples/c/solve-async.c | 41 +-
examples/c/solve-iteratively.c | 107 -
examples/c/statistics.c | 37 +-
examples/c/theory-atoms.c | 35 +-
examples/cc/CMakeLists.txt | 7 +
examples/cc/inject-terms.cc | 46 +
examples/cc/solve-iteratively.cc | 26 +
examples/clingo/addclause/addclause-lua.lp | 2 +-
examples/clingo/addclause/addclause-py.lp | 4 +-
examples/clingo/blocksworld/lua_interpret.lp | 1 +
examples/clingo/cannot/README.md | 11 +
examples/clingo/cannot/cannot-lua.lp | 92 +
examples/clingo/cannot/cannot-py.lp | 61 +
examples/clingo/cannot/example.lp | 18 +
examples/clingo/commit/commit-py.lp | 4 +-
examples/clingo/consequences/brave-lua.lp | 2 +-
examples/clingo/consequences/brave-py.lp | 4 +-
examples/clingo/context/context-lua.lp | 2 +-
examples/clingo/context/context-py.lp | 2 +-
examples/clingo/controller-async/controller.py | 34 +-
examples/clingo/controller-processes/client.py | 17 +-
examples/clingo/controller-processes/server.py | 51 +-
examples/clingo/controller-threads/controller.py | 32 +-
examples/clingo/cover/control-lua.lp | 4 +-
examples/clingo/cover/control-py.lp | 4 +-
examples/clingo/dl/README.md | 26 +
examples/clingo/dl/difference_logic.py | 147 +
examples/clingo/dl/dl.lp | 22 +
examples/clingo/dl/dlO.lp | 36 +
examples/clingo/dl/fsE.lp | 24 +
examples/clingo/dl/fsI.lp | 4 +
examples/clingo/enum-assumption/example-py.lp | 8 +-
examples/clingo/expansion/main.py | 12 +-
examples/clingo/iclingo/README | 10 -
examples/clingo/iclingo/README.md | 16 +
examples/clingo/incqueens/README | 7 -
examples/clingo/incqueens/README.md | 10 +
examples/clingo/incqueens/incqueens-py.lp | 2 +-
examples/clingo/itersolve/itersolve-lua.lp | 2 +-
examples/clingo/itersolve/itersolve-py.lp | 6 +-
examples/clingo/onmodel/onmodel-lua.lp | 2 +-
examples/clingo/onmodel/onmodel-py.lp | 26 +-
examples/clingo/opt/README.md | 15 +
examples/clingo/opt/opt.lp | 28 +
examples/clingo/opt/tohB.lp | 23 +
examples/clingo/opt/tohE.lp | 23 +
examples/clingo/opt/tohI.lp | 5 +
examples/clingo/pydoc/pydoc-lib.py | 1 +
examples/clingo/pydoc/pydoc.lp | 1 +
examples/clingo/robots/{README => README.md} | 12 +-
examples/clingo/robots/visualize.py | 15 +-
examples/clingo/setconf/setconf-py.lp | 8 +-
examples/clingo/solitaire/visualize.py | 2 +-
examples/clingo/solve-async/solve-async-py.lp | 4 +-
examples/clingo/stats/stats-py.lp | 6 +-
examples/clingo/unblock/visualize.py | 2 +-
examples/gringo/prime-implicants/README | 7 +
examples/gringo/prime-implicants/encoding.lp | 59 +
examples/gringo/prime-implicants/instance.lp | 9 +
examples/gringo/toh/README | 6 -
examples/gringo/toh/README.md | 12 +
examples/reify/metaD.lp | 2 +-
examples/test.sh | 129 -
libclasp/clasp/cli/clasp_cli_configs.inl | 91 -
libclasp/clasp/cli/clifwd.h | 32 -
libclasp/clasp/clingo.h | 144 -
libclasp/clasp/util/atomic.h | 128 -
libclasp/clasp/util/hash_map.h | 77 -
libclasp/clasp/util/mutex.h | 88 -
libclasp/clasp/util/platform.h | 212 -
libclasp/clasp/util/thread.h | 44 -
libclasp/libclasp.vcxproj | 213 -
libclasp/libclasp.vcxproj.filters | 254 -
libclingo/CMakeLists.txt | 74 +
{libgringo => libclingo}/clingo.h | 1308 +++--
libclingo/clingo.hh | 4802 +++++++++++++++
libclingo/clingo/ast.hh | 238 +
libclingo/clingo/clingo_app.hh | 72 +
libclingo/clingo/clingocontrol.hh | 311 +-
{libgringo/gringo => libclingo/clingo}/control.hh | 224 +-
libclingo/clingo/incmode.hh | 36 +
libclingo/clingo/script.h | 52 +
libclingo/clingo/scripts.hh | 66 +
.../programbuilder.cc => libclingo/src/ast.cc | 554 +-
{app/clingo => libclingo}/src/clingo_app.cc | 133 +-
libclingo/src/clingocontrol.cc | 422 +-
libclingo/src/control.cc | 1454 +++++
app/gringo/main.cc => libclingo/src/gringo_app.cc | 275 +-
libclingo/src/incmode.cc | 107 +
libclingo/src/scripts.cc | 103 +
libclingo/tests/CMakeLists.txt | 27 +
libclingo/tests/ast.cc | 32 +-
libclingo/tests/clingo.cc | 169 +-
libclingo/tests/main.cc | 30 +-
libclingo/tests/propagator.cc | 136 +-
libclingo/tests/symbol.cc | 30 +-
libclingo/tests/tests.hh | 37 +-
libclingo/tests/variant.cc | 25 +-
libgringo/CMakeLists.txt | 159 +
libgringo/clingo.hh | 2079 -------
libgringo/gen/src/input/clingopath.hh | 1 +
.../gen/src/input/groundtermgrammar/grammar.cc | 1226 ++++
.../gen/src/input/groundtermgrammar/grammar.hh | 434 ++
.../gen/src/input/groundtermgrammar/location.hh | 187 +
.../gen/src/input/groundtermgrammar/position.hh | 180 +
libgringo/gen/src/input/groundtermgrammar/stack.hh | 158 +
libgringo/gen/src/input/groundtermlexer.hh | 539 ++
.../gen/src/input/nongroundgrammar/grammar.cc | 3659 ++++++++++++
.../gen/src/input/nongroundgrammar/grammar.hh | 579 ++
libgringo/gen/src/input/nongroundgrammar/stack.hh | 158 +
libgringo/gen/src/input/nongroundlexer.hh | 6189 ++++++++++++++++++++
libgringo/gringo/backend.hh | 74 +-
libgringo/gringo/backtrace.hh | 38 +-
libgringo/gringo/base.hh | 45 +-
libgringo/gringo/bug.hh | 38 +-
libgringo/gringo/clonable.hh | 38 +-
libgringo/gringo/comparable.hh | 38 +-
libgringo/gringo/domain.hh | 32 +-
libgringo/gringo/graph.hh | 38 +-
libgringo/gringo/ground/binders.hh | 38 +-
libgringo/gringo/ground/dependency.hh | 32 +-
libgringo/gringo/ground/instantiation.hh | 38 +-
libgringo/gringo/ground/literal.hh | 32 +-
libgringo/gringo/ground/literals.hh | 42 +-
libgringo/gringo/ground/program.hh | 36 +-
libgringo/gringo/ground/statement.hh | 32 +-
libgringo/gringo/ground/statements.hh | 98 +-
libgringo/gringo/ground/types.hh | 38 +-
libgringo/gringo/hash_set.hh | 32 +-
libgringo/gringo/hashable.hh | 38 +-
libgringo/gringo/indexed.hh | 38 +-
libgringo/gringo/input/aggregate.hh | 34 +-
libgringo/gringo/input/aggregates.hh | 38 +-
libgringo/gringo/input/groundtermparser.hh | 38 +-
libgringo/gringo/input/literal.hh | 38 +-
libgringo/gringo/input/literals.hh | 38 +-
libgringo/gringo/input/nongroundparser.hh | 48 +-
libgringo/gringo/input/program.hh | 38 +-
libgringo/gringo/input/programbuilder.hh | 256 +-
libgringo/gringo/input/statement.hh | 35 +-
libgringo/gringo/input/theory.hh | 38 +-
libgringo/gringo/input/types.hh | 38 +-
libgringo/gringo/intervals.hh | 38 +-
libgringo/gringo/lexerstate.hh | 38 +-
libgringo/gringo/locatable.hh | 38 +-
libgringo/gringo/logger.hh | 83 +-
libgringo/gringo/lua.hh | 49 -
libgringo/gringo/output/aggregates.hh | 38 +-
libgringo/gringo/output/backends.hh | 38 +-
libgringo/gringo/output/literal.hh | 38 +-
libgringo/gringo/output/literals.hh | 146 +-
libgringo/gringo/output/output.hh | 37 +-
libgringo/gringo/output/statement.hh | 38 +-
libgringo/gringo/output/statements.hh | 82 +-
libgringo/gringo/output/theory.hh | 38 +-
libgringo/gringo/output/types.hh | 38 +-
libgringo/gringo/primes.hh | 38 +-
libgringo/gringo/printable.hh | 38 +-
libgringo/gringo/python.hh | 45 -
libgringo/gringo/safetycheck.hh | 38 +-
libgringo/gringo/scripts.hh | 58 -
libgringo/gringo/symbol.hh | 51 +-
libgringo/gringo/term.hh | 46 +-
libgringo/gringo/terms.hh | 38 +-
libgringo/gringo/types.hh | 32 +-
libgringo/gringo/utility.hh | 87 +-
libgringo/gringo/version.hh | 29 -
libgringo/src/backend.cc | 51 +-
libgringo/src/control.cc | 3792 ------------
libgringo/src/ground/instantiation.cc | 38 +-
libgringo/src/ground/literals.cc | 57 +-
libgringo/src/ground/program.cc | 42 +-
libgringo/src/ground/statements.cc | 172 +-
libgringo/src/input/aggregate.cc | 38 +-
libgringo/src/input/aggregates.cc | 109 +-
libgringo/src/input/clingopath.hh.in | 1 +
libgringo/src/input/groundtermgrammar.yy | 38 +-
libgringo/src/input/groundtermlexer.xh | 30 +-
libgringo/src/input/groundtermparser.cc | 38 +-
libgringo/src/input/literal.cc | 38 +-
libgringo/src/input/literals.cc | 34 +-
libgringo/src/input/nongroundgrammar.yy | 40 +-
libgringo/src/input/nongroundlexer.xch | 42 +-
libgringo/src/input/nongroundparser.cc | 330 +-
libgringo/src/input/program.cc | 45 +-
libgringo/src/input/programbuilder.cc | 1435 +----
libgringo/src/input/statement.cc | 67 +-
libgringo/src/input/theory.cc | 48 +-
libgringo/src/lua.cc | 2752 ---------
libgringo/src/output/aggregates.cc | 30 +-
libgringo/src/output/literals.cc | 124 +-
libgringo/src/output/output.cc | 140 +-
libgringo/src/output/statement.cc | 38 +-
libgringo/src/output/statements.cc | 162 +-
libgringo/src/output/theory.cc | 59 +-
libgringo/src/primes.cc | 38 +-
libgringo/src/scripts.cc | 55 -
libgringo/src/symbol.cc | 54 +-
libgringo/src/term.cc | 148 +-
libgringo/src/terms.cc | 36 +-
libgringo/tests/CMakeLists.txt | 60 +
libgringo/tests/graph.cc | 38 +-
libgringo/tests/ground/dependency.cc | 38 +-
libgringo/tests/ground/grounder_helper.hh | 40 +-
libgringo/tests/ground/instantiation.cc | 48 +-
libgringo/tests/ground/literal.cc | 43 +-
libgringo/tests/ground/program.cc | 56 +-
libgringo/tests/ground/theory.cc | 30 +-
libgringo/tests/input/aggregate.cc | 38 +-
libgringo/tests/input/aggregate_helper.hh | 38 +-
libgringo/tests/input/lit_helper.hh | 38 +-
libgringo/tests/input/literal.cc | 38 +-
libgringo/tests/input/nongroundgrammar.cc | 42 +-
libgringo/tests/input/nongroundlexer.cc | 39 +-
libgringo/tests/input/parse_term.cc | 30 +-
libgringo/tests/input/program.cc | 39 +-
libgringo/tests/input/programbuilder.cc | 38 +-
libgringo/tests/intervals.cc | 38 +-
libgringo/tests/lua.cc | 171 -
libgringo/tests/main.cc | 30 +-
libgringo/tests/output/aspcomp13.cc | 30 +-
libgringo/tests/output/incremental.cc | 49 +-
libgringo/tests/output/lparse.cc | 243 +-
libgringo/tests/output/solver_helper.hh | 41 +-
libgringo/tests/output/theory.cc | 30 +-
libgringo/tests/output/warnings.cc | 40 +-
libgringo/tests/python.cc | 38 +-
libgringo/tests/safetycheck.cc | 38 +-
libgringo/tests/symbol.cc | 38 +-
libgringo/tests/term.cc | 42 +-
libgringo/tests/term_helper.hh | 38 +-
libgringo/tests/tests.hh | 61 +-
libgringo/tests/unique_vec.cc | 38 +-
libgringo/tests/utility.cc | 38 +-
liblp/potassco/aspif_text.h | 70 -
liblp/src/aspif_text.cpp | 324 -
liblp/src/clingo.cpp | 29 -
liblp/src/rule_utils.cpp | 231 -
liblp/tests/CMakeLists.txt | 5 -
liblp/tests/main.cpp | 2 -
liblp/tests/text.cpp | 153 -
libluaclingo/CMakeLists.txt | 33 +
libluaclingo/luaclingo.cc | 3397 +++++++++++
libluaclingo/luaclingo.h | 70 +
libprogram_opts/program_opts/detail/alarm.h | 74 -
libprogram_opts/program_opts/detail/refcountable.h | 72 -
libprogram_opts/program_opts/detail/value_store.h | 87 -
libprogram_opts/src/alarm.cpp | 161 -
libprogram_opts/src/string_convert.cpp | 257 -
libprogram_opts/src/value_store.cpp | 81 -
libpyclingo/CMakeLists.txt | 33 +
libgringo/src/python.cc => libpyclingo/pyclingo.cc | 4671 ++++++++-------
libpyclingo/pyclingo.h | 66 +
libreify/CMakeLists.txt | 31 +
libreify/reify/program.hh | 36 +-
libreify/reify/util.hh | 38 +-
libreify/src/program.cc | 51 +-
libreify/tests/CMakeLists.txt | 19 +
519 files changed, 77766 insertions(+), 30976 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