[clasp] 01/03: Merge tag 'upstream/3.1.0'
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Mon Aug 18 15:30:23 UTC 2014
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a commit to branch master
in repository clasp.
commit 4c822bbc7d28fc34b7c8213438b7c43877854d42
Merge: 7baa1c9 6217b36
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Mon Aug 18 12:43:35 2014 +0200
Merge tag 'upstream/3.1.0'
Upstream version 3.1.0
CHANGES | 539 +++++
CMakeLists.txt | 19 +
COPYING | 339 +++
README | 126 +
app/CMakeLists.txt | 11 +
app/clasp_app.cpp | 593 +++++
app/clasp_app.h | 187 ++
app/main.cpp | 43 +
build_vc/vc10/clasp/app/app.vcproj | 408 ++++
build_vc/vc10/clasp/app/app.vcxproj | 368 +++
build_vc/vc10/clasp/clasp.sln | 113 +
build_vc/vc10/clasp/clasp.vcproj | 180 ++
build_vc/vc10/clasp/examples/examples.vcproj | 211 ++
build_vc/vc10/clasp/examples/examples.vcxproj | 183 ++
build_vc/vc10/clasp/lib/lib.vcproj | 563 +++++
build_vc/vc10/clasp/lib/lib.vcxproj | 358 +++
.../clasp/libprogram_opts/libprogram_opts.vcxproj | 278 +++
build_vc/vc10/clasp/test/test.vcproj | 262 +++
build_vc/vc10/clasp/test/test.vcxproj | 199 ++
build_vc/vc12/clasp/app/app.vcproj | 408 ++++
build_vc/vc12/clasp/app/app.vcxproj | 376 +++
build_vc/vc12/clasp/clasp.sln | 115 +
build_vc/vc12/clasp/clasp.vcproj | 180 ++
build_vc/vc12/clasp/examples/examples.vcproj | 211 ++
build_vc/vc12/clasp/examples/examples.vcxproj | 187 ++
build_vc/vc12/clasp/lib/lib.vcproj | 563 +++++
build_vc/vc12/clasp/lib/lib.vcxproj | 366 +++
.../clasp/libprogram_opts/libprogram_opts.vcxproj | 286 +++
build_vc/vc12/clasp/test/test.vcproj | 262 +++
build_vc/vc12/clasp/test/test.vcxproj | 203 ++
build_vc/vc9/clasp/app/app.vcproj | 356 +++
build_vc/vc9/clasp/clasp.sln | 77 +
build_vc/vc9/clasp/clasp.vcproj | 180 ++
build_vc/vc9/clasp/examples/examples.vcproj | 215 ++
build_vc/vc9/clasp/lib/lib.vcproj | 563 +++++
.../clasp/libprogram_opts/libprogram_opts.vcproj | 280 +++
build_vc/vc9/clasp/test/test.vcproj | 266 +++
configure.bat | 274 +++
configure.sh | 275 +++
libclasp/CMakeLists.txt | 4 +
libclasp/Makefile | 48 +
libclasp/clasp/asp_preprocessor.h | 126 +
libclasp/clasp/cb_enumerator.h | 59 +
libclasp/clasp/clasp_facade.h | 347 +++
libclasp/clasp/claspfwd.h | 57 +
libclasp/clasp/clause.h | 531 +++++
libclasp/clasp/cli/clasp_cli_configs.inl | 87 +
libclasp/clasp/cli/clasp_cli_options.inl | 428 ++++
libclasp/clasp/cli/clasp_options.h | 314 +++
libclasp/clasp/cli/clasp_output.h | 258 +++
libclasp/clasp/constraint.h | 532 +++++
libclasp/clasp/dependency_graph.h | 301 +++
libclasp/clasp/enumerator.h | 301 +++
libclasp/clasp/heuristics.h | 417 ++++
libclasp/clasp/literal.h | 399 ++++
libclasp/clasp/logic_program.h | 512 ++++
libclasp/clasp/logic_program_types.h | 727 ++++++
libclasp/clasp/lookahead.h | 239 ++
libclasp/clasp/minimize_constraint.h | 561 +++++
libclasp/clasp/model_enumerators.h | 114 +
libclasp/clasp/parallel_solve.h | 353 +++
libclasp/clasp/parser.h | 262 +++
libclasp/clasp/pod_vector.h | 95 +
libclasp/clasp/program_builder.h | 219 ++
libclasp/clasp/satelite.h | 167 ++
libclasp/clasp/shared_context.h | 711 ++++++
libclasp/clasp/solve_algorithms.h | 215 ++
libclasp/clasp/solver.h | 1082 +++++++++
libclasp/clasp/solver_strategies.h | 455 ++++
libclasp/clasp/solver_types.h | 872 +++++++
libclasp/clasp/unfounded_check.h | 292 +++
libclasp/clasp/util/atomic.h | 82 +
libclasp/clasp/util/indexed_priority_queue.h | 216 ++
libclasp/clasp/util/left_right_sequence.h | 350 +++
libclasp/clasp/util/misc_types.h | 377 +++
libclasp/clasp/util/multi_queue.h | 252 ++
libclasp/clasp/util/mutex.h | 85 +
libclasp/clasp/util/platform.h | 179 ++
libclasp/clasp/util/pod_vector.h | 558 +++++
libclasp/clasp/util/thread.h | 47 +
libclasp/clasp/util/timer.h | 64 +
libclasp/clasp/util/type_manip.h | 137 ++
libclasp/clasp/weight_constraint.h | 213 ++
libclasp/doc/api/clasp | 1792 ++++++++++++++
libclasp/doc/api/clasp.txt | 30 +
libclasp/example/Makefile | 50 +
libclasp/example/example.h | 32 +
libclasp/example/example1.cpp | 90 +
libclasp/example/example2.cpp | 80 +
libclasp/example/example3.cpp | 63 +
libclasp/example/example4.cpp | 64 +
libclasp/example/main.cpp | 43 +
libclasp/src/asp_preprocessor.cpp | 513 +++++
libclasp/src/cb_enumerator.cpp | 182 ++
libclasp/src/clasp_facade.cpp | 612 +++++
libclasp/src/clasp_options.cpp | 975 ++++++++
libclasp/src/clasp_output.cpp | 946 ++++++++
libclasp/src/clause.cpp | 1068 +++++++++
libclasp/src/constraint.cpp | 92 +
libclasp/src/dependency_graph.cpp | 659 ++++++
libclasp/src/enumerator.cpp | 289 +++
libclasp/src/heuristics.cpp | 916 ++++++++
libclasp/src/logic_program.cpp | 1411 ++++++++++++
libclasp/src/logic_program_types.cpp | 1461 ++++++++++++
libclasp/src/lookahead.cpp | 393 ++++
libclasp/src/minimize_constraint.cpp | 1407 +++++++++++
libclasp/src/model_enumerators.cpp | 317 +++
libclasp/src/parallel_solve.cpp | 1069 +++++++++
libclasp/src/parser.cpp | 456 ++++
libclasp/src/program_builder.cpp | 300 +++
libclasp/src/satelite.cpp | 619 +++++
libclasp/src/shared_context.cpp | 825 +++++++
libclasp/src/solve_algorithms.cpp | 324 +++
libclasp/src/solver.cpp | 1581 +++++++++++++
libclasp/src/solver_strategies.cpp | 314 +++
libclasp/src/solver_types.cpp | 149 ++
libclasp/src/timer.cpp | 104 +
libclasp/src/unfounded_check.cpp | 798 +++++++
libclasp/src/weight_constraint.cpp | 585 +++++
libclasp/tests/Makefile | 40 +
libclasp/tests/clause_creator_test.cpp | 607 +++++
libclasp/tests/clause_test.cpp | 1041 +++++++++
libclasp/tests/cli_test.cpp | 548 +++++
libclasp/tests/decision_heuristic_test.cpp | 649 ++++++
libclasp/tests/dependency_graph_test.cpp | 235 ++
libclasp/tests/dlp_builder_test.cpp | 265 +++
libclasp/tests/enumerator_test.cpp | 338 +++
libclasp/tests/facade_test.cpp | 478 ++++
libclasp/tests/literal_test.cpp | 232 ++
libclasp/tests/minimize_test.cpp | 1197 ++++++++++
libclasp/tests/parser_test.cpp | 412 ++++
libclasp/tests/program_builder_test.cpp | 2435 ++++++++++++++++++++
libclasp/tests/rule_test.cpp | 639 +++++
libclasp/tests/satelite_test.cpp | 219 ++
libclasp/tests/shared_clause_test.cpp | 282 +++
libclasp/tests/solver_test.cpp | 1858 +++++++++++++++
libclasp/tests/test.h | 38 +
libclasp/tests/test_main.cpp | 81 +
libclasp/tests/unfounded_check_test.cpp | 554 +++++
libclasp/tests/weight_constraint_test.cpp | 820 +++++++
libprogram_opts/CMakeLists.txt | 4 +
libprogram_opts/Makefile | 48 +
libprogram_opts/program_opts/application.h | 132 ++
libprogram_opts/program_opts/detail/alarm.h | 74 +
libprogram_opts/program_opts/detail/notifier.h | 58 +
libprogram_opts/program_opts/detail/refcountable.h | 72 +
libprogram_opts/program_opts/detail/value_store.h | 87 +
libprogram_opts/program_opts/errors.h | 109 +
libprogram_opts/program_opts/mapped_value.h | 92 +
libprogram_opts/program_opts/program_options.h | 511 ++++
libprogram_opts/program_opts/string_convert.h | 280 +++
libprogram_opts/program_opts/typed_value.h | 250 ++
libprogram_opts/program_opts/value.h | 207 ++
libprogram_opts/program_opts/value_store.h | 152 ++
libprogram_opts/src/alarm.cpp | 161 ++
libprogram_opts/src/application.cpp | 265 +++
libprogram_opts/src/program_options.cpp | 957 ++++++++
libprogram_opts/src/string_convert.cpp | 222 ++
libprogram_opts/src/value_store.cpp | 81 +
tools/Base.in | 32 +
tools/BaseRule.in | 14 +
tools/FindTBB.cmake | 283 +++
tools/LibRule.in | 34 +
tools/ProjRule.in | 41 +
tools/clasp-option-config.txt | 194 ++
tools/dummy.txt | 0
166 files changed, 62205 insertions(+)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/clasp.git
More information about the debian-science-commits
mailing list