[gringo] branch devel updated (55a207c -> ffea893)
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Wed Nov 1 16:15:55 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 55a207c Update changelog
adds 1fe9396 New upstream version 5.2.1
new a652f59 Updated version 5.2.1 from 'upstream/5.2.1'
new c3d2862 debian/TODO.Debian: list todo items
new 2b185df debian/copyright: gringo switched to MIT, and so does the packaging
new 9bde567 debian/compat: bump debhelper compat level to 10
new 6a69b4a debian/control: use cmake instead of scons
new 4407c8d debian/patches: drop various upstream applied patches
new f578113 debian/install: add libclingo library
new 9c0ad97 debian/gringo.links: add ldconfig symlinks for libclingo.so.1.0
new 3300fe7 debian/symbols: add libclingo.so.1 symbols
new ebc75f8 debian/rules: use cmake without rpath and force g++-7
new ffea893 gringo 5.2.1-1 changelog
The 11 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 | 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 +
debian/TODO.Debian | 11 +
debian/changelog | 24 +
debian/compat | 2 +-
debian/control | 13 +-
debian/copyright | 246 +-
debian/gringo.links | 2 +
debian/install | 9 +-
debian/patches/gringo-alpha-fpu-getcw.patch | 23 -
.../patches/gringo-broken-std-exception_ptr.patch | 179 -
.../gringo-fix-body-literals-as-auxiliary.patch | 302 -
debian/patches/reproducible-build.patch | 24 -
debian/patches/series | 4 -
debian/rules | 70 +-
debian/symbols | 314 +
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 +
533 files changed, 78192 insertions(+), 31773 deletions(-)
delete mode 100644 .gitignore
rename CHANGES => CHANGES.md (80%)
create mode 100644 CMakeLists.txt
delete mode 100644 COPYING
delete mode 100644 INSTALL
create mode 100644 INSTALL.md
create mode 100644 LICENSE.md
delete mode 100644 SConscript
delete mode 100644 SConstruct
delete mode 100644 app/cexample/main.c
create mode 100644 app/clingo/CMakeLists.txt
create mode 100644 app/clingo/main.cc
delete mode 100644 app/clingo/src/clingo_app.hh
delete mode 100644 app/clingo/src/main.cc
create mode 100644 app/clingo/tests/CMakeLists.txt
create mode 100644 app/clingo/tests/lp/aggregates.lp
create mode 100644 app/clingo/tests/lp/aggregates.sol
create mode 100644 app/clingo/tests/lp/elevator.lp
create mode 100644 app/clingo/tests/lp/elevator.sol
create mode 100644 app/clingo/tests/lp/istop.lp
create mode 100644 app/clingo/tests/lp/istop.sol
create mode 100644 app/clingo/tests/lua/check-lua.lp
create mode 100644 app/clingo/tests/lua/check-lua.sol
create mode 100644 app/clingo/tests/lua/observer-replace.lp
create mode 100644 app/clingo/tests/lua/observer-replace.sol
create mode 100644 app/clingo/tests/lua/observer.cmd
create mode 100644 app/clingo/tests/lua/observer.lp
create mode 100644 app/clingo/tests/lua/observer.sol
create mode 100644 app/clingo/tests/python/check-py.lp
create mode 100644 app/clingo/tests/python/check-py.sol
create mode 100644 app/clingo/tests/python/observer-replace.lp
create mode 100644 app/clingo/tests/python/observer-replace.sol
create mode 100644 app/clingo/tests/python/observer.cmd
create mode 100644 app/clingo/tests/python/observer.lp
create mode 100644 app/clingo/tests/python/observer.sol
delete mode 100644 app/example/main.cc
create mode 100644 app/gringo/CMakeLists.txt
delete mode 100644 app/lpconvert/lpconvert.cpp
create mode 100644 app/luaclingo/CMakeLists.txt
create mode 100644 app/luaclingo/main.cc
delete mode 100644 app/luaclingo/src/main.cc
create mode 100644 app/pyclingo/CMakeLists.txt
create mode 100644 app/pyclingo/main.cc
delete mode 100644 app/pyclingo/src/main.cc
create mode 100644 app/reify/CMakeLists.txt
create mode 100644 app/web/CMakeLists.txt
create mode 100644 clasp/CHANGES
create mode 100644 clasp/CMakeLists.txt
create mode 100644 clasp/LICENSE
create mode 100644 clasp/README.md
create mode 100644 clasp/app/CMakeLists.txt
rename {app/clingo/src/clasp => clasp/app}/clasp_app.cpp (72%)
rename {app/clingo/src/clasp => clasp/app}/clasp_app.h (76%)
create mode 100644 clasp/app/main.cpp
rename {libclasp => clasp}/clasp/asp_preprocessor.h (78%)
rename {libclasp => clasp}/clasp/cb_enumerator.h (53%)
rename {libclasp => clasp}/clasp/clasp_facade.h (73%)
rename {libclasp => clasp}/clasp/claspfwd.h (52%)
rename {libclasp => clasp}/clasp/clause.h (94%)
create mode 100644 clasp/clasp/cli/clasp_cli_configs.inl
rename {libclasp => clasp}/clasp/cli/clasp_cli_options.inl (53%)
rename {libclasp => clasp}/clasp/cli/clasp_options.h (83%)
rename {libclasp => clasp}/clasp/cli/clasp_output.h (88%)
create mode 100644 clasp/clasp/clingo.h
create mode 100644 clasp/clasp/config.h.in
rename {libclasp => clasp}/clasp/constraint.h (94%)
rename {libclasp => clasp}/clasp/dependency_graph.h (94%)
rename {libclasp => clasp}/clasp/enumerator.h (87%)
rename {libclasp => clasp}/clasp/heuristics.h (93%)
rename {libclasp => clasp}/clasp/literal.h (87%)
rename {libclasp => clasp}/clasp/logic_program.h (92%)
rename {libclasp => clasp}/clasp/logic_program_types.h (95%)
rename {libclasp => clasp}/clasp/lookahead.h (88%)
rename {libclasp => clasp}/clasp/minimize_constraint.h (85%)
rename {libclasp => clasp}/clasp/model_enumerators.h (72%)
create mode 100644 clasp/clasp/mt/mutex.h
rename {libclasp/clasp => clasp/clasp/mt}/parallel_solve.h (83%)
create mode 100644 clasp/clasp/mt/thread.h
rename {libclasp => clasp}/clasp/parser.h (72%)
rename {libclasp => clasp}/clasp/pod_vector.h (67%)
rename {libclasp => clasp}/clasp/program_builder.h (86%)
rename {libclasp => clasp}/clasp/satelite.h (85%)
rename {libclasp => clasp}/clasp/shared_context.h (95%)
rename {libclasp => clasp}/clasp/solve_algorithms.h (87%)
rename {libclasp => clasp}/clasp/solver.h (96%)
rename {libclasp => clasp}/clasp/solver_strategies.h (81%)
rename {libclasp => clasp}/clasp/solver_types.h (96%)
rename {libclasp => clasp}/clasp/statistics.h (87%)
rename {libclasp => clasp}/clasp/unfounded_check.h (90%)
create mode 100644 clasp/clasp/util/hash.h
rename {libclasp => clasp}/clasp/util/indexed_priority_queue.h (79%)
rename {libclasp => clasp}/clasp/util/left_right_sequence.h (89%)
rename {libclasp => clasp}/clasp/util/misc_types.h (92%)
rename {libclasp => clasp}/clasp/util/multi_queue.h (80%)
rename {libclasp => clasp}/clasp/util/pod_vector.h (89%)
rename {libclasp => clasp}/clasp/util/timer.h (51%)
rename {libclasp => clasp}/clasp/util/type_manip.h (74%)
rename {libclasp => clasp}/clasp/weight_constraint.h (88%)
create mode 100644 clasp/cmake/clasp-config-version.cmake.in
create mode 100644 clasp/cmake/clasp-config.cmake
create mode 100644 clasp/doc/api/clasp.doxy
create mode 100644 clasp/doc/api/clasp.txt
create mode 100644 clasp/doc/api/layout.css
create mode 100644 clasp/doc/api/layout.xml
create mode 100644 clasp/doc/api/potassco-logo.png
create mode 100644 clasp/examples/CMakeLists.txt
create mode 100644 clasp/examples/example.h
create mode 100644 clasp/examples/example1.cpp
create mode 100644 clasp/examples/example2.cpp
create mode 100644 clasp/examples/example3.cpp
create mode 100644 clasp/examples/example4.cpp
create mode 100644 clasp/examples/main.cpp
create mode 100644 clasp/libpotassco/CMakeLists.txt
create mode 100644 clasp/libpotassco/LICENSE
create mode 100644 clasp/libpotassco/README.md
create mode 100644 clasp/libpotassco/app/CMakeLists.txt
create mode 100644 clasp/libpotassco/app/lpconvert.cpp
create mode 100644 clasp/libpotassco/cmake/potassco-config-version.cmake.in
create mode 100644 clasp/libpotassco/cmake/potassco-config.cmake
create mode 100644 clasp/libpotassco/doc/Doxyfile
create mode 100644 clasp/libpotassco/doc/layout.css
create mode 100644 clasp/libpotassco/doc/layout.xml
create mode 100644 clasp/libpotassco/doc/potassco-logo.png
rename {libprogram_opts/program_opts => clasp/libpotassco/potassco}/application.h (68%)
rename {liblp => clasp/libpotassco}/potassco/aspif.h (72%)
create mode 100644 clasp/libpotassco/potassco/aspif_text.h
rename {liblp => clasp/libpotassco}/potassco/basic_types.h (77%)
rename {liblp => clasp/libpotassco}/potassco/clingo.h (79%)
rename {liblp => clasp/libpotassco}/potassco/convert.h (70%)
rename {liblp => clasp/libpotassco}/potassco/match_basic_types.h (66%)
create mode 100644 clasp/libpotassco/potassco/platform.h
rename {libprogram_opts => clasp/libpotassco/potassco}/program_opts/detail/notifier.h (52%)
create mode 100644 clasp/libpotassco/potassco/program_opts/detail/refcountable.h
create mode 100644 clasp/libpotassco/potassco/program_opts/detail/value_store.h
rename {libprogram_opts => clasp/libpotassco/potassco}/program_opts/errors.h (60%)
rename {libprogram_opts => clasp/libpotassco/potassco}/program_opts/mapped_value.h (59%)
rename {libprogram_opts => clasp/libpotassco/potassco}/program_opts/program_options.h (83%)
rename {libprogram_opts => clasp/libpotassco/potassco}/program_opts/typed_value.h (74%)
rename {libprogram_opts => clasp/libpotassco/potassco}/program_opts/value.h (65%)
rename {libprogram_opts => clasp/libpotassco/potassco}/program_opts/value_store.h (72%)
rename {liblp => clasp/libpotassco}/potassco/rule_utils.h (58%)
rename {liblp => clasp/libpotassco}/potassco/smodels.h (80%)
rename {libprogram_opts/program_opts => clasp/libpotassco/potassco}/string_convert.h (57%)
rename {liblp => clasp/libpotassco}/potassco/theory_data.h (84%)
create mode 100644 clasp/libpotassco/src/CMakeLists.txt
rename {libprogram_opts => clasp/libpotassco}/src/application.cpp (65%)
rename {liblp => clasp/libpotassco}/src/aspif.cpp (67%)
create mode 100644 clasp/libpotassco/src/aspif_text.cpp
create mode 100644 clasp/libpotassco/src/clingo.cpp
rename {liblp => clasp/libpotassco}/src/convert.cpp (83%)
rename {liblp => clasp/libpotassco}/src/match_basic_types.cpp (68%)
rename {libprogram_opts => clasp/libpotassco}/src/program_options.cpp (78%)
create mode 100644 clasp/libpotassco/src/rule_utils.cpp
rename {liblp => clasp/libpotassco}/src/smodels.cpp (73%)
create mode 100644 clasp/libpotassco/src/string_convert.cpp
rename {liblp => clasp/libpotassco}/src/theory_data.cpp (56%)
create mode 100644 clasp/libpotassco/src/value_store.cpp
create mode 100644 clasp/libpotassco/tests/CMakeLists.txt
copy {liblp => clasp/libpotassco}/tests/catch.hpp (63%)
create mode 100644 clasp/libpotassco/tests/main.cpp
create mode 100644 clasp/libpotassco/tests/test_application.cpp
rename liblp/tests/aspif.cpp => clasp/libpotassco/tests/test_aspif.cpp (72%)
rename liblp/tests/common.h => clasp/libpotassco/tests/test_common.h (55%)
create mode 100644 clasp/libpotassco/tests/test_options.cpp
rename liblp/tests/smodels.cpp => clasp/libpotassco/tests/test_smodels.cpp (94%)
create mode 100644 clasp/libpotassco/tests/test_string_convert.cpp
create mode 100644 clasp/libpotassco/tests/test_text.cpp
create mode 100644 clasp/libpotassco/tests/test_value.cpp
create mode 100644 clasp/src/CMakeLists.txt
rename {libclasp => clasp}/src/asp_preprocessor.cpp (94%)
rename {libclasp => clasp}/src/cb_enumerator.cpp (90%)
rename {libclasp => clasp}/src/clasp_facade.cpp (61%)
rename {libclasp => clasp}/src/clasp_options.cpp (71%)
rename {libclasp => clasp}/src/clasp_output.cpp (91%)
rename {libclasp => clasp}/src/clause.cpp (96%)
rename {libclasp => clasp}/src/clingo.cpp (63%)
rename {libclasp => clasp}/src/constraint.cpp (71%)
rename {libclasp => clasp}/src/dependency_graph.cpp (94%)
rename {libclasp => clasp}/src/enumerator.cpp (80%)
rename {libclasp => clasp}/src/heuristics.cpp (88%)
rename {libclasp => clasp}/src/logic_program.cpp (90%)
rename {libclasp => clasp}/src/logic_program_types.cpp (96%)
rename {libclasp => clasp}/src/lookahead.cpp (91%)
rename {libclasp => clasp}/src/minimize_constraint.cpp (69%)
rename {libclasp => clasp}/src/model_enumerators.cpp (62%)
rename {libclasp => clasp}/src/parallel_solve.cpp (90%)
rename {libclasp => clasp}/src/parser.cpp (78%)
rename {libclasp => clasp}/src/program_builder.cpp (79%)
rename {libclasp => clasp}/src/satelite.cpp (94%)
rename {libclasp => clasp}/src/shared_context.cpp (89%)
rename {libclasp => clasp}/src/solve_algorithms.cpp (88%)
rename {libclasp => clasp}/src/solver.cpp (94%)
rename {libclasp => clasp}/src/solver_strategies.cpp (86%)
rename {libclasp => clasp}/src/solver_types.cpp (88%)
rename {libclasp => clasp}/src/statistics.cpp (78%)
rename {libclasp => clasp}/src/timer.cpp (58%)
rename {libclasp => clasp}/src/unfounded_check.cpp (96%)
rename {libclasp => clasp}/src/weight_constraint.cpp (92%)
create mode 100644 clasp/tests/CMakeLists.txt
rename {liblp => clasp}/tests/catch.hpp (62%)
create mode 100644 clasp/tests/clause_creator_test.cpp
create mode 100644 clasp/tests/clause_test.cpp
create mode 100644 clasp/tests/cli_test.cpp
create mode 100644 clasp/tests/decision_heuristic_test.cpp
create mode 100644 clasp/tests/dependency_graph_test.cpp
create mode 100644 clasp/tests/dlp_builder_test.cpp
create mode 100644 clasp/tests/enumerator_test.cpp
create mode 100644 clasp/tests/facade_test.cpp
create mode 100644 clasp/tests/literal_test.cpp
create mode 100644 clasp/tests/lpcompare.h
create mode 100644 clasp/tests/minimize_test.cpp
create mode 100644 clasp/tests/parser_test.cpp
create mode 100644 clasp/tests/program_builder_test.cpp
create mode 100644 clasp/tests/rule_test.cpp
create mode 100644 clasp/tests/satelite_test.cpp
create mode 100644 clasp/tests/solver_test.cpp
create mode 100644 clasp/tests/test_main.cpp
create mode 100644 clasp/tests/unfounded_check_test.cpp
create mode 100644 clasp/tests/weight_constraint_test.cpp
create mode 100644 clasp/tools/clasp-option-template.inl
create mode 100755 clasp/tools/generate-pcs.sh
create mode 100644 cmake/FindRE2C.cmake
create mode 100644 cmake/clingo_functions.cmake
create mode 100755 cmake/glob-paths.py
create mode 100644 cmake/python-site.py
create mode 100644 debian/TODO.Debian
delete mode 100644 debian/patches/gringo-alpha-fpu-getcw.patch
delete mode 100644 debian/patches/gringo-broken-std-exception_ptr.patch
delete mode 100644 debian/patches/gringo-fix-body-literals-as-auxiliary.patch
delete mode 100644 debian/patches/reproducible-build.patch
create mode 100644 debian/symbols
create mode 100644 doc/api/Doxyfile
create mode 100644 doc/api/DoxygenLayout.xml
create mode 100644 doc/api/clingo.css
create mode 100644 examples/c/CMakeLists.txt
delete mode 100644 examples/c/solve-iteratively.c
create mode 100644 examples/cc/CMakeLists.txt
create mode 100644 examples/cc/inject-terms.cc
create mode 100644 examples/cc/solve-iteratively.cc
create mode 100644 examples/clingo/cannot/README.md
create mode 100644 examples/clingo/cannot/cannot-lua.lp
create mode 100644 examples/clingo/cannot/cannot-py.lp
create mode 100644 examples/clingo/cannot/example.lp
create mode 100644 examples/clingo/dl/README.md
create mode 100644 examples/clingo/dl/difference_logic.py
create mode 100644 examples/clingo/dl/dl.lp
create mode 100644 examples/clingo/dl/dlO.lp
create mode 100644 examples/clingo/dl/fsE.lp
create mode 100644 examples/clingo/dl/fsI.lp
delete mode 100644 examples/clingo/iclingo/README
create mode 100644 examples/clingo/iclingo/README.md
delete mode 100644 examples/clingo/incqueens/README
create mode 100644 examples/clingo/incqueens/README.md
create mode 100644 examples/clingo/opt/README.md
create mode 100644 examples/clingo/opt/opt.lp
create mode 100644 examples/clingo/opt/tohB.lp
create mode 100644 examples/clingo/opt/tohE.lp
create mode 100644 examples/clingo/opt/tohI.lp
rename examples/clingo/robots/{README => README.md} (59%)
create mode 100644 examples/gringo/prime-implicants/README
create mode 100644 examples/gringo/prime-implicants/encoding.lp
create mode 100644 examples/gringo/prime-implicants/instance.lp
delete mode 100644 examples/gringo/toh/README
create mode 100644 examples/gringo/toh/README.md
delete mode 100755 examples/test.sh
delete mode 100644 libclasp/clasp/cli/clasp_cli_configs.inl
delete mode 100644 libclasp/clasp/cli/clifwd.h
delete mode 100644 libclasp/clasp/clingo.h
delete mode 100644 libclasp/clasp/util/atomic.h
delete mode 100644 libclasp/clasp/util/hash_map.h
delete mode 100644 libclasp/clasp/util/mutex.h
delete mode 100644 libclasp/clasp/util/platform.h
delete mode 100644 libclasp/clasp/util/thread.h
delete mode 100644 libclasp/libclasp.vcxproj
delete mode 100644 libclasp/libclasp.vcxproj.filters
create mode 100644 libclingo/CMakeLists.txt
rename {libgringo => libclingo}/clingo.h (91%)
create mode 100644 libclingo/clingo.hh
create mode 100644 libclingo/clingo/ast.hh
create mode 100644 libclingo/clingo/clingo_app.hh
rename {libgringo/gringo => libclingo/clingo}/control.hh (55%)
create mode 100644 libclingo/clingo/incmode.hh
create mode 100644 libclingo/clingo/script.h
create mode 100644 libclingo/clingo/scripts.hh
copy libgringo/src/input/programbuilder.cc => libclingo/src/ast.cc (71%)
rename {app/clingo => libclingo}/src/clingo_app.cc (56%)
create mode 100644 libclingo/src/control.cc
copy app/gringo/main.cc => libclingo/src/gringo_app.cc (55%)
create mode 100644 libclingo/src/incmode.cc
create mode 100644 libclingo/src/scripts.cc
create mode 100644 libclingo/tests/CMakeLists.txt
create mode 100644 libgringo/CMakeLists.txt
delete mode 100644 libgringo/clingo.hh
create mode 100644 libgringo/gen/src/input/clingopath.hh
create mode 100644 libgringo/gen/src/input/groundtermgrammar/grammar.cc
create mode 100644 libgringo/gen/src/input/groundtermgrammar/grammar.hh
create mode 100644 libgringo/gen/src/input/groundtermgrammar/location.hh
create mode 100644 libgringo/gen/src/input/groundtermgrammar/position.hh
create mode 100644 libgringo/gen/src/input/groundtermgrammar/stack.hh
create mode 100644 libgringo/gen/src/input/groundtermlexer.hh
create mode 100644 libgringo/gen/src/input/nongroundgrammar/grammar.cc
create mode 100644 libgringo/gen/src/input/nongroundgrammar/grammar.hh
create mode 100644 libgringo/gen/src/input/nongroundgrammar/stack.hh
create mode 100644 libgringo/gen/src/input/nongroundlexer.hh
delete mode 100644 libgringo/gringo/lua.hh
delete mode 100644 libgringo/gringo/python.hh
delete mode 100644 libgringo/gringo/scripts.hh
delete mode 100644 libgringo/gringo/version.hh
delete mode 100644 libgringo/src/control.cc
create mode 100644 libgringo/src/input/clingopath.hh.in
delete mode 100644 libgringo/src/lua.cc
delete mode 100644 libgringo/src/scripts.cc
create mode 100644 libgringo/tests/CMakeLists.txt
delete mode 100644 libgringo/tests/lua.cc
delete mode 100644 liblp/potassco/aspif_text.h
delete mode 100644 liblp/src/aspif_text.cpp
delete mode 100644 liblp/src/clingo.cpp
delete mode 100644 liblp/src/rule_utils.cpp
delete mode 100644 liblp/tests/CMakeLists.txt
delete mode 100644 liblp/tests/main.cpp
delete mode 100644 liblp/tests/text.cpp
create mode 100644 libluaclingo/CMakeLists.txt
create mode 100644 libluaclingo/luaclingo.cc
create mode 100644 libluaclingo/luaclingo.h
delete mode 100644 libprogram_opts/program_opts/detail/alarm.h
delete mode 100644 libprogram_opts/program_opts/detail/refcountable.h
delete mode 100644 libprogram_opts/program_opts/detail/value_store.h
delete mode 100644 libprogram_opts/src/alarm.cpp
delete mode 100644 libprogram_opts/src/string_convert.cpp
delete mode 100644 libprogram_opts/src/value_store.cpp
create mode 100644 libpyclingo/CMakeLists.txt
rename libgringo/src/python.cc => libpyclingo/pyclingo.cc (59%)
create mode 100644 libpyclingo/pyclingo.h
create mode 100644 libreify/CMakeLists.txt
create mode 100644 libreify/tests/CMakeLists.txt
--
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