[gringo] 01/07: Merge tag 'upstream/4.5.0'
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Sat Jul 11 07:53:31 UTC 2015
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a commit to branch devel
in repository gringo.
commit 3610ccb55a317210433b1f8d375bd4c8983a1f64
Merge: eec90a2 85f46b9
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Sat Jul 11 09:26:39 2015 +0200
Merge tag 'upstream/4.5.0'
Upstream version 4.5.0
.clang_complete | 5 +-
.ycm_extra_conf.py | 174 ++
CHANGES | 27 +-
INSTALL | 27 +-
NOTES | 291 --
README | 7 +-
SConscript | 68 +-
SConstruct | 13 +-
app/clingo/src/clingo_app.cc | 12 +-
app/clingo/tests/lua/assumptions4.lp | 2 +-
app/clingo/tests/lua/conformant1.lp | 14 +-
app/clingo/tests/lua/conformant2.lp | 141 +-
app/clingo/tests/lua/conformant2.sol | 3 +
app/clingo/tests/lua/conformant3.lp | 141 +-
app/clingo/tests/lua/conformant3.sol | 29 +
app/clingo/tests/lua/csp-shrinking.sol | 1 +
app/clingo/tests/lua/domain.lp | 30 +
app/clingo/tests/lua/domain.sol | 3 +
app/clingo/tests/lua/icolor.lp | 45 +
app/clingo/tests/lua/icolor.sol | 5 +
app/clingo/tests/lua/interrupt.lp | 2 +-
app/clingo/tests/lua/robots.lp | 16 +-
app/clingo/tests/lua/solitaire_sort.lp | 2 +-
app/clingo/tests/lua/unsat-async.sol | 2 +
app/clingo/tests/lua/unsat-sync.sol | 2 +
app/clingo/tests/python/domain.lp | 26 +
app/clingo/tests/python/domain.sol | 3 +
app/clingo/tests/python/interrupt.lp | 2 +-
app/clingo/tests/python/project.lp | 10 +-
app/clingo/tests/python/show.lp | 8 +-
app/clingo/tests/python/test.lp | 20 +-
app/clingo/tests/run.sh | 2 +-
app/gringo/main.cc | 74 +-
app/luaclingo/src/clingo_lib.cc | 117 -
app/luaclingo/src/clingo_lib.hh | 51 -
app/luaclingo/src/main.cc | 12 +-
app/pyclingo/src/clingo_lib.cc | 117 -
app/pyclingo/src/clingo_lib.hh | 51 -
app/pyclingo/src/main.cc | 26 +-
app/reify/main.cc | 93 +
app/shared/include/clingocontrol.hh | 132 +-
app/shared/src/clingocontrol.cc | 377 ++-
examples/asp/toh/README | 4 -
examples/{scripting => clingo}/addclause/README | 0
.../addclause/addclause-lua.lp | 0
.../addclause/addclause-py.lp | 0
examples/{scripting => clingo}/blocksworld/README | 0
.../{scripting => clingo}/blocksworld/blocks_01.lp | 0
.../blocksworld/control_01.lua | 0
.../blocksworld/control_01.out | 0
examples/{scripting => clingo}/blocksworld/lua.lp | 0
.../blocksworld/lua_interpret.lp | 0
.../{scripting => clingo}/blocksworld/world.lp | 0
examples/{scripting => clingo}/commit/README | 0
.../{scripting => clingo}/commit/commit-lua.lp | 0
examples/{scripting => clingo}/commit/commit-py.lp | 0
examples/{scripting => clingo}/commit/encoding.lp | 0
examples/{scripting => clingo}/consequences/README | 0
.../consequences/brave-lua.lp | 0
.../{scripting => clingo}/consequences/brave-py.lp | 0
.../{scripting => clingo}/consequences/example.lp | 0
examples/{scripting => clingo}/context/README | 0
.../{scripting => clingo}/context/context-lua.lp | 0
.../{scripting => clingo}/context/context-py.lp | 0
examples/{scripting => clingo}/context/encoding.lp | 0
examples/clingo/controller-async/README | 8 +
.../controller-async}/client.lp | 0
examples/clingo/controller-async/controller.py | 122 +
.../controller-processes}/README | 0
.../controller-processes}/client-lua.lp | 0
.../controller-processes}/client-py.lp | 2 +-
.../controller-processes}/client.lp | 0
.../controller-processes}/server.py | 0
examples/clingo/controller-threads/README | 8 +
.../controller-threads}/client.lp | 0
examples/clingo/controller-threads/controller.py | 154 +
examples/clingo/domains/README | 6 +
examples/clingo/domains/domains-lua.lp | 23 +
examples/clingo/domains/domains-py.lp | 19 +
examples/clingo/domains/instance.lp | 5 +
.../{scripting => clingo}/enum-assumption/README | 0
.../enum-assumption/example-lua.lp | 0
.../enum-assumption/example-py.lp | 0
.../expansion/GraphColouring/encodings/encoding.lp | 31 +
.../instances/0004-graph_colouring-125-0.lp | 1687 +++++++++++
.../instances/0005-graph_colouring-125-0.lp | 1649 +++++++++++
.../instances/0007-graph_colouring-125-0.lp | 1609 +++++++++++
.../instances/0008-graph_colouring-125-0.lp | 1677 +++++++++++
.../instances/0013-graph_colouring-130-0.lp | 1714 +++++++++++
.../instances/0021-graph_colouring-135-0.lp | 1981 +++++++++++++
.../instances/0022-graph_colouring-135-0.lp | 2043 +++++++++++++
.../instances/0023-graph_colouring-135-0.lp | 1869 ++++++++++++
.../instances/0025-graph_colouring-135-0.lp | 1995 +++++++++++++
.../instances/0032-graph_colouring-140-0.lp | 2226 +++++++++++++++
.../instances/0036-graph_colouring-140-0.lp | 2126 ++++++++++++++
.../instances/0039-graph_colouring-140-0.lp | 2174 ++++++++++++++
.../instances/0040-graph_colouring-140-0.lp | 2214 ++++++++++++++
.../instances/0046-graph_colouring-145-0.lp | 2345 +++++++++++++++
.../instances/0047-graph_colouring-145-0.lp | 2177 ++++++++++++++
.../instances/0048-graph_colouring-145-0.lp | 2233 +++++++++++++++
.../instances/0050-graph_colouring-145-0.lp | 2219 ++++++++++++++
.../instances/0056-graph_colouring-150-0.lp | 2252 +++++++++++++++
.../instances/0059-graph_colouring-150-0.lp | 2374 +++++++++++++++
.../instances/0060-graph_colouring-150-0.lp | 2472 ++++++++++++++++
.../expansion/PartnerUnits/encodings/encoding.lp | 66 +
.../instances/100-partner_units-100-0.lp | 744 +++++
.../instances/102-partner_units-100-0.lp | 744 +++++
.../114-partner_units_polynomial-100-0.lp | 746 +++++
.../115-partner_units_polynomial-100-0.lp | 746 +++++
.../119-partner_units_polynomial-100-0.lp | 746 +++++
.../127-partner_units_polynomial-100-0.lp | 740 +++++
.../instances/153-partner_units-100-0.lp | 748 +++++
.../instances/154-partner_units-100-0.lp | 746 +++++
.../instances/156-partner_units-100-0.lp | 742 +++++
.../instances/161-partner_units-100-0.lp | 742 +++++
.../instances/175-partner_units_polynomial-75-0.lp | 780 +++++
.../instances/180-partner_units_polynomial-47-0.lp | 366 +++
.../instances/188-partner_units_polynomial-57-0.lp | 588 ++++
.../instances/196-partner_units_polynomial-59-0.lp | 412 +++
.../instances/26-partner_units_polynomial-60-0.lp | 620 ++++
.../instances/52-partner_units_polynomial-100-0.lp | 744 +++++
.../instances/58-partner_units_polynomial-100-0.lp | 740 +++++
.../instances/69-partner_units_polynomial-100-0.lp | 744 +++++
.../instances/91-partner_units-100-0.lp | 742 +++++
.../instances/99-partner_units-100-0.lp | 748 +++++
examples/clingo/expansion/README | 33 +
examples/clingo/expansion/main.py | 117 +
examples/{scripting => clingo}/external/README | 0
.../{scripting => clingo}/external/external-lua.lp | 0
.../{scripting => clingo}/external/external-py.lp | 0
.../{scripting => clingo}/external/external.lp | 0
examples/clingo/iclingo/README | 10 +
examples/{scripting => clingo}/iclingo/example.lp | 6 +-
examples/clingo/iclingo/incmode-int.lp | 1 +
examples/clingo/iclingo/incmode-lua.lp | 39 +
examples/clingo/iclingo/incmode-py.lp | 32 +
examples/{scripting => clingo}/include/README | 0
.../{scripting => clingo}/include/encoding-lua.lp | 0
.../{scripting => clingo}/include/encoding-py.lp | 0
examples/{scripting => clingo}/include/include.lp | 0
examples/{scripting => clingo}/incqueens/README | 0
.../incqueens/incqueens-lua.lp | 0
.../incqueens/incqueens-py.lp | 2 +
.../{scripting => clingo}/incqueens/incqueens.lp | 0
examples/{scripting => clingo}/ipython/README | 2 +-
examples/{scripting => clingo}/ipython/ipython.py | 0
examples/{scripting => clingo}/itersolve/README | 0
.../itersolve/itersolve-lua.lp | 0
.../itersolve/itersolve-py.lp | 0
.../{scripting => clingo}/itersolve/program.lp | 0
examples/clingo/load/README | 7 +
examples/{scripting => clingo}/load/load-lua.lp | 0
examples/{scripting => clingo}/load/load-py.lp | 0
examples/{scripting => clingo}/load/program.lp | 0
examples/{scripting => clingo}/onmodel/README | 0
.../{scripting => clingo}/onmodel/onmodel-lua.lp | 0
.../{scripting => clingo}/onmodel/onmodel-py.lp | 0
examples/{scripting => clingo}/planning/README | 0
examples/{scripting => clingo}/planning/convert.lp | 0
examples/{scripting => clingo}/planning/convert.sh | 0
.../{scripting => clingo}/planning/encoding.lp | 0
.../planning/instances/coins01.lp | 0
.../planning/instances/comm02.lp | 0
.../planning/instances/comm03.lp | 0
.../planning/instances/comm05.lp | 0
.../planning/instances/uts01.lp | 0
.../{scripting => clingo}/planning/planning-lua.lp | 0
examples/{scripting => clingo}/pydoc/README | 0
examples/{scripting => clingo}/pydoc/pydoc-lib.py | 0
examples/{scripting => clingo}/pydoc/pydoc.lp | 0
examples/clingo/robots/README | 11 +
examples/clingo/robots/board.lp | 42 +
examples/clingo/robots/img/arrow_blue_east.gif | Bin 0 -> 680 bytes
examples/clingo/robots/img/arrow_blue_north.gif | Bin 0 -> 643 bytes
examples/clingo/robots/img/arrow_blue_south.gif | Bin 0 -> 657 bytes
examples/clingo/robots/img/arrow_blue_west.gif | Bin 0 -> 679 bytes
examples/clingo/robots/img/arrow_green_east.gif | Bin 0 -> 697 bytes
examples/clingo/robots/img/arrow_green_north.gif | Bin 0 -> 704 bytes
examples/clingo/robots/img/arrow_green_south.gif | Bin 0 -> 714 bytes
examples/clingo/robots/img/arrow_green_west.gif | Bin 0 -> 690 bytes
examples/clingo/robots/img/arrow_red_east.gif | Bin 0 -> 680 bytes
examples/clingo/robots/img/arrow_red_north.gif | Bin 0 -> 643 bytes
examples/clingo/robots/img/arrow_red_south.gif | Bin 0 -> 657 bytes
examples/clingo/robots/img/arrow_red_west.gif | Bin 0 -> 679 bytes
examples/clingo/robots/img/arrow_yellow_east.gif | Bin 0 -> 680 bytes
examples/clingo/robots/img/arrow_yellow_north.gif | Bin 0 -> 640 bytes
examples/clingo/robots/img/arrow_yellow_south.gif | Bin 0 -> 658 bytes
examples/clingo/robots/img/arrow_yellow_west.gif | Bin 0 -> 679 bytes
examples/clingo/robots/img/moon_blue.gif | Bin 0 -> 1121 bytes
examples/clingo/robots/img/moon_green.gif | Bin 0 -> 1137 bytes
examples/clingo/robots/img/moon_red.gif | Bin 0 -> 1121 bytes
examples/clingo/robots/img/moon_yellow.gif | Bin 0 -> 1120 bytes
examples/clingo/robots/img/move_blue_east.gif | Bin 0 -> 637 bytes
examples/clingo/robots/img/move_blue_north.gif | Bin 0 -> 634 bytes
examples/clingo/robots/img/move_blue_south.gif | Bin 0 -> 627 bytes
examples/clingo/robots/img/move_blue_west.gif | Bin 0 -> 647 bytes
examples/clingo/robots/img/move_green_east.gif | Bin 0 -> 624 bytes
examples/clingo/robots/img/move_green_north.gif | Bin 0 -> 639 bytes
examples/clingo/robots/img/move_green_south.gif | Bin 0 -> 657 bytes
examples/clingo/robots/img/move_green_west.gif | Bin 0 -> 653 bytes
examples/clingo/robots/img/move_red_east.gif | Bin 0 -> 616 bytes
examples/clingo/robots/img/move_red_north.gif | Bin 0 -> 634 bytes
examples/clingo/robots/img/move_red_south.gif | Bin 0 -> 627 bytes
examples/clingo/robots/img/move_red_west.gif | Bin 0 -> 647 bytes
examples/clingo/robots/img/move_yellow_east.gif | Bin 0 -> 631 bytes
examples/clingo/robots/img/move_yellow_north.gif | Bin 0 -> 631 bytes
examples/clingo/robots/img/move_yellow_south.gif | Bin 0 -> 627 bytes
examples/clingo/robots/img/move_yellow_west.gif | Bin 0 -> 643 bytes
examples/clingo/robots/img/random_robot.gif | Bin 0 -> 1415 bytes
examples/clingo/robots/img/robot_blue.gif | Bin 0 -> 687 bytes
examples/clingo/robots/img/robot_green.gif | Bin 0 -> 1142 bytes
examples/clingo/robots/img/robot_red.gif | Bin 0 -> 687 bytes
examples/clingo/robots/img/robot_yellow.gif | Bin 0 -> 685 bytes
examples/clingo/robots/img/saturn_blue.gif | Bin 0 -> 763 bytes
examples/clingo/robots/img/saturn_green.gif | Bin 0 -> 825 bytes
examples/clingo/robots/img/saturn_red.gif | Bin 0 -> 763 bytes
examples/clingo/robots/img/saturn_yellow.gif | Bin 0 -> 763 bytes
examples/clingo/robots/img/star_blue.gif | Bin 0 -> 721 bytes
examples/clingo/robots/img/star_green.gif | Bin 0 -> 757 bytes
examples/clingo/robots/img/star_red.gif | Bin 0 -> 721 bytes
examples/clingo/robots/img/star_yellow.gif | Bin 0 -> 723 bytes
examples/clingo/robots/img/sun_blue.gif | Bin 0 -> 1147 bytes
examples/clingo/robots/img/sun_green.gif | Bin 0 -> 1155 bytes
examples/clingo/robots/img/sun_red.gif | Bin 0 -> 1147 bytes
examples/clingo/robots/img/sun_yellow.gif | Bin 0 -> 1144 bytes
examples/clingo/robots/img/tile_left.gif | Bin 0 -> 1724 bytes
examples/clingo/robots/img/tile_right.gif | Bin 0 -> 1770 bytes
examples/clingo/robots/img/wall_north.gif | Bin 0 -> 1136 bytes
examples/clingo/robots/img/wall_west.gif | Bin 0 -> 1171 bytes
examples/clingo/robots/robots.lp | 35 +
examples/clingo/robots/visualize.py | 473 +++
examples/{scripting => clingo}/setconf/README | 0
.../{scripting => clingo}/setconf/setconf-lua.lp | 2 +-
.../{scripting => clingo}/setconf/setconf-py.lp | 2 +-
examples/{scripting => clingo}/solitaire/README | 2 +-
.../{scripting => clingo}/solitaire/instance.lp | 0
.../{scripting => clingo}/solitaire/solitaire.lp | 6 +-
.../{scripting => clingo}/solitaire/visualize.py | 4 +-
examples/{scripting => clingo}/solve-async/README | 0
.../{scripting => clingo}/solve-async/program.lp | 0
.../solve-async/solve-async-lua.lp | 0
.../solve-async/solve-async-py.lp | 0
examples/{scripting => clingo}/stats/README | 0
examples/{scripting => clingo}/stats/example.lp | 0
examples/{scripting => clingo}/stats/stats-lua.lp | 0
examples/{scripting => clingo}/stats/stats-py.lp | 0
examples/{scripting => clingo}/unblock/README | 0
examples/{scripting => clingo}/unblock/inst1.lp | 0
examples/{scripting => clingo}/unblock/inst2.lp | 0
examples/{scripting => clingo}/unblock/inst3.lp | 0
examples/{scripting => clingo}/unblock/inst4.lp | 0
examples/{scripting => clingo}/unblock/inst5.lp | 0
examples/{scripting => clingo}/unblock/unblock.lp | 6 +-
.../{scripting => clingo}/unblock/visualize.py | 4 +-
examples/{asp => gringo}/gbie/README | 0
examples/{asp => gringo}/gbie/gbie1.lp | 0
examples/{asp => gringo}/gbie/gbie2.lp | 0
examples/{asp => gringo}/gbie/instances/sat_01.lp | 0
examples/{asp => gringo}/gbie/instances/sat_02.lp | 0
examples/{asp => gringo}/gbie/instances/sat_03.lp | 0
.../{asp => gringo}/gbie/instances/unsat_01.lp | 0
.../{asp => gringo}/gbie/instances/unsat_02.lp | 0
examples/{asp => gringo}/queens/README | 0
examples/{asp => gringo}/queens/queens1.lp | 4 +-
examples/{asp => gringo}/queens/queens2.lp | 0
examples/{asp => gringo}/rec-cond/README | 0
examples/{asp => gringo}/rec-cond/encoding.lp | 0
examples/{asp => gringo}/rec-cond/instance.lp | 0
examples/gringo/toh/README | 6 +
examples/{asp => gringo}/toh/tohE.lp | 6 +-
examples/{asp => gringo}/toh/tohI.lp | 0
examples/reify/README | 19 +
examples/reify/example1.lp | 5 +
examples/reify/meta.lp | 42 +
examples/reify/metaD.lp | 89 +
examples/reify/metaO.lp | 80 +
examples/scripting/iclingo/README | 10 -
examples/scripting/iclingo/iclingo-int.lp | 1 -
examples/scripting/iclingo/iclingo-lua.lp | 53 -
examples/scripting/iclingo/iclingo-py.lp | 34 -
examples/scripting/load/README | 5 -
libclasp/clasp/asp_preprocessor.h | 1 +
libclasp/clasp/clasp_facade.h | 54 +-
libclasp/clasp/cli/clasp_cli_configs.inl | 2 +-
libclasp/clasp/cli/clasp_cli_options.inl | 7 +-
libclasp/clasp/heuristics.h | 2 +
libclasp/clasp/literal.h | 11 +
libclasp/clasp/logic_program.h | 23 +-
libclasp/clasp/logic_program_types.h | 13 +-
libclasp/clasp/parser.h | 1 +
libclasp/clasp/solve_algorithms.h | 3 +-
libclasp/clasp/solver.h | 2 +
libclasp/clasp/solver_strategies.h | 2 +-
libclasp/clasp/util/misc_types.h | 11 -
libclasp/src/asp_preprocessor.cpp | 22 +-
libclasp/src/cb_enumerator.cpp | 5 +-
libclasp/src/clasp_facade.cpp | 239 +-
libclasp/src/clasp_output.cpp | 6 +-
libclasp/src/enumerator.cpp | 5 +-
libclasp/src/heuristics.cpp | 33 +-
libclasp/src/logic_program.cpp | 91 +-
libclasp/src/logic_program_types.cpp | 23 +-
libclasp/src/minimize_constraint.cpp | 5 +-
libclasp/src/parallel_solve.cpp | 2 +-
libclasp/src/parser.cpp | 11 +
libclasp/src/shared_context.cpp | 3 -
libclasp/src/solve_algorithms.cpp | 13 +-
libclasp/src/solver.cpp | 66 +-
libgringo/gringo/base.hh | 24 +-
libgringo/gringo/control.hh | 55 +-
libgringo/gringo/domain.hh | 145 +-
libgringo/gringo/flyweight.hh | 33 +-
libgringo/gringo/ground/binders.hh | 21 +-
libgringo/gringo/ground/dependency.hh | 2 +-
libgringo/gringo/ground/instantiation.hh | 18 +-
libgringo/gringo/ground/statement.hh | 8 +-
libgringo/gringo/ground/statements.hh | 1198 ++++----
libgringo/gringo/input/aggregate.hh | 37 +-
libgringo/gringo/input/aggregates.hh | 67 +-
libgringo/gringo/input/groundtermparser.hh | 64 +
libgringo/gringo/input/literal.hh | 5 +-
libgringo/gringo/input/literals.hh | 31 +-
libgringo/gringo/input/nongroundparser.hh | 1 +
libgringo/gringo/input/programbuilder.hh | 119 +-
libgringo/gringo/input/statement.hh | 25 +-
libgringo/gringo/intervals.hh | 55 +-
libgringo/gringo/lexerstate.hh | 3 +-
libgringo/gringo/logger.hh | 6 +-
libgringo/gringo/lua.hh | 4 +-
libgringo/gringo/output/aggregates.hh | 80 +
libgringo/gringo/output/literal.hh | 13 +-
libgringo/gringo/output/literals.hh | 93 +-
libgringo/gringo/output/output.hh | 9 +-
libgringo/gringo/output/statement.hh | 6 +-
libgringo/gringo/output/statements.hh | 114 +-
libgringo/gringo/python.hh | 7 +-
libgringo/gringo/scripts.hh | 2 +-
libgringo/gringo/term.hh | 163 +-
libgringo/gringo/terms.hh | 13 +-
libgringo/gringo/unique_list.hh | 14 +-
libgringo/gringo/value.hh | 179 +-
libgringo/gringo/version.hh | 2 +-
libgringo/src/ground/instantiation.cc | 82 +-
libgringo/src/ground/literals.cc | 86 +-
libgringo/src/ground/program.cc | 51 +-
libgringo/src/ground/statements.cc | 3017 +++++++++++---------
libgringo/src/input/aggregate.cc | 14 +-
libgringo/src/input/aggregates.cc | 937 ++++--
libgringo/src/input/groundtermgrammar.yy | 149 +
libgringo/src/input/groundtermlexer.xh | 79 +
libgringo/src/input/groundtermparser.cc | 99 +
libgringo/src/input/literal.cc | 4 +-
libgringo/src/input/literals.cc | 152 +-
libgringo/src/input/nongroundgrammar.yy | 225 +-
libgringo/src/input/nongroundlexer.xh | 2 +-
libgringo/src/input/nongroundparser.cc | 224 +-
libgringo/src/input/program.cc | 44 +-
libgringo/src/input/programbuilder.cc | 81 +-
libgringo/src/input/statement.cc | 241 +-
libgringo/src/lua.cc | 564 ++--
libgringo/src/output/aggregates.cc | 432 +++
libgringo/src/output/literal.cc | 13 +
libgringo/src/output/literals.cc | 600 ++--
libgringo/src/output/output.cc | 306 +-
libgringo/src/output/statements.cc | 425 ++-
libgringo/src/python.cc | 964 +++++--
libgringo/src/scripts.cc | 11 +-
libgringo/src/term.cc | 2291 ++++++++-------
libgringo/src/terms.cc | 59 +-
.../{gringo/scripts.hh => tests/gringo_module.hh} | 47 +-
libgringo/tests/ground/dependency.cc | 72 +-
libgringo/tests/ground/instantiation.cc | 253 +-
libgringo/tests/ground/literal.cc | 88 +-
libgringo/tests/ground/program.cc | 148 +-
libgringo/tests/input/aggregate.cc | 112 +-
libgringo/tests/input/literal.cc | 120 +-
libgringo/tests/input/nongroundgrammar.cc | 52 +-
libgringo/tests/input/nongroundlexer.cc | 3 +-
libgringo/tests/input/program.cc | 39 +-
libgringo/tests/input/programbuilder.cc | 48 +-
libgringo/tests/intervals.cc | 30 +
libgringo/tests/lua.cc | 39 +-
libgringo/tests/output/aspcomp13.cc | 4 +-
libgringo/tests/output/incremental.cc | 89 +-
libgringo/tests/output/lparse.cc | 705 ++++-
libgringo/tests/output/solver_helper.hh | 5 +-
libgringo/tests/output/warnings.cc | 118 +-
libgringo/tests/python.cc | 39 +-
libgringo/tests/term.cc | 276 +-
libgringo/tests/term_helper.hh | 7 +
libgringo/tests/tests.hh | 5 +-
libgringo/tests/value.cc | 117 +-
libprogram_opts/src/string_convert.cpp | 65 +-
libreify/reify/parser.hh | 60 +
libreify/reify/program.hh | 112 +
.../gringo/version.hh => libreify/reify/reify.hh | 21 +-
libreify/reify/util.hh | 88 +
libreify/src/lexer.xh | 121 +
libreify/src/parser.cc | 205 ++
libreify/src/program.cc | 273 ++
.../gringo/version.hh => libreify/tests/main.cc | 13 +-
libreify/tests/parser.cc | 123 +
402 files changed, 69296 insertions(+), 7410 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