[Pkg-ocaml-maint-commits] [alt-ergo] branch upstream updated (f60d17b -> 79f8d40)
Ralf Treinen
treinen at moszumanska.debian.org
Mon Dec 12 19:43:19 UTC 2016
This is an automated email from the git hooks/post-receive script.
treinen pushed a change to branch upstream
in repository alt-ergo.
from f60d17b Imported Upstream version 1.01
adds 79f8d40 New upstream version 1.30
No new revisions were added by this update.
Summary of changes:
CHANGES | 64 +-
INSTALL.md | 34 +-
Makefile.configurable.in | 6 +-
Makefile.users | 16 +-
README.md | 2 +-
configure | 126 +-
configure.in | 82 +-
non-free/Non-Commercial-License.pdf | Bin 0 -> 77001 bytes
non-free/ctrl-alt-ergo/ctrlAltErgo.ml | 254 +++
non-free/ctrl-alt-ergo/ctrlAltErgo.mli | 11 +
non-free/plugins/common/vec.ml | 172 ++
non-free/plugins/common/vec.mli | 59 +
non-free/plugins/fm-simplex/fmSimplexIneqs.ml | 326 ++++
non-free/plugins/fm-simplex/fmSimplexIneqs.mli | 11 +
non-free/plugins/fm-simplex/simplex.ml | 1077 ++++++++++++
non-free/plugins/fm-simplex/simplex_cache.ml | 113 ++
non-free/plugins/profiler/profiler.ml | 680 +++++++
non-free/plugins/profiler/profiler.mli | 11 +
non-free/plugins/satML/satml.ml | 2250 ++++++++++++++++++++++++
non-free/plugins/satML/satml.mli | 168 ++
non-free/plugins/satML/satml_frontend.ml | 628 +++++++
non-free/plugins/satML/satml_frontend.mli | 13 +
src/gui/gui_replay.ml | 2 +-
src/gui/gui_session.ml | 2 +
src/gui/why_annoted.ml | 221 ++-
src/gui/why_annoted.mli | 15 +-
src/gui/why_connected.ml | 74 +-
src/instances/instances.ml | 410 +++++
src/instances/{matching.mli => instances.mli} | 9 +-
src/instances/matching.ml | 548 ++----
src/instances/matching.mli | 70 +-
src/main/frontend.ml | 112 +-
src/main/frontend.mli | 6 +-
src/main/main_gui.ml | 126 +-
src/main/main_text.ml | 74 +-
src/parsing/why_parser.mly | 10 +-
src/preprocess/cnf.ml | 120 +-
src/preprocess/existantial.ml | 3 +-
src/preprocess/triggers.ml | 46 +-
src/preprocess/why_typing.ml | 65 +-
src/sat/sat_solvers.ml | 681 ++++---
src/sat/sat_solvers.mli | 4 +-
src/structures/explanation.ml | 10 +-
src/structures/explanation.mli | 4 +
src/structures/formula.ml | 207 ++-
src/structures/formula.mli | 29 +-
src/structures/literal.ml | 14 +-
src/structures/literal.mli | 4 +-
src/structures/parsed.ml | 9 +-
src/structures/parsed.mli | 8 +-
src/structures/symbols.ml | 12 +-
src/structures/symbols.mli | 3 +
src/structures/term.ml | 130 +-
src/structures/term.mli | 10 +-
src/structures/ty.ml | 37 +-
src/structures/ty.mli | 3 +
src/structures/typed.ml | 6 +-
src/structures/typed.mli | 4 +-
src/theories/ac.ml | 16 +-
src/theories/arith.ml | 282 ++-
src/theories/arith.mli | 10 +-
src/theories/arrays.ml | 56 +-
src/theories/bitv.ml | 10 +-
src/theories/ccx.ml | 87 +-
src/theories/ccx.mli | 7 +-
src/theories/combine.ml | 127 +-
src/theories/inequalities.ml | 170 +-
src/theories/inequalities.mli | 22 +-
src/theories/intervalCalculus.ml | 1198 ++++++++++---
src/theories/intervalCalculus.mli | 8 +-
src/theories/intervals.ml | 1377 ++++++++++-----
src/theories/intervals.mli | 48 +-
src/theories/polynome.ml | 23 +-
src/theories/polynome.mli | 7 +
src/theories/records.ml | 51 +-
src/theories/sig.mli | 37 +-
src/theories/sum.ml | 62 +-
src/theories/theory.ml | 427 +++--
src/theories/theory.mli | 6 +-
src/theories/uf.ml | 485 ++++-
src/theories/uf.mli | 5 +-
src/util/emap.ml | 342 ++++
src/util/emap.mli | 203 +++
src/util/gc_debug.ml | 45 +
src/util/{profiling.mli => gc_debug.mli} | 2 +-
src/util/hashcons.ml | 2 +
src/util/hstring.ml | 19 +-
src/util/hstring.mli | 4 +
src/util/{myUnix.mli => myDynlink.ml} | 19 +-
src/util/{myUnix.mli => myDynlink.mli} | 13 +-
src/util/myUnix.ml | 4 +-
src/util/myZip.ml | 34 +
src/util/{version.ml => myZip.mli} | 20 +-
src/util/numbers.ml | 80 +-
src/util/numbers.mli | 15 +-
src/util/numbersInterface.mli | 24 +
src/util/numsNumbers.ml | 39 +-
src/util/options.ml | 116 +-
src/util/options.mli | 35 +-
src/util/profiling_default.ml | 16 +-
src/util/timers.ml | 105 +-
src/util/timers.mli | 1 +
src/util/util.ml | 12 +
src/util/util.mli | 12 +
src/util/version.ml | 8 +-
src/util/zarithNumbers.ml | 45 +-
106 files changed, 12413 insertions(+), 2514 deletions(-)
create mode 100644 non-free/Non-Commercial-License.pdf
create mode 100644 non-free/ctrl-alt-ergo/ctrlAltErgo.ml
create mode 100644 non-free/ctrl-alt-ergo/ctrlAltErgo.mli
create mode 100644 non-free/plugins/common/vec.ml
create mode 100644 non-free/plugins/common/vec.mli
create mode 100644 non-free/plugins/fm-simplex/fmSimplexIneqs.ml
create mode 100644 non-free/plugins/fm-simplex/fmSimplexIneqs.mli
create mode 100644 non-free/plugins/fm-simplex/simplex.ml
create mode 100644 non-free/plugins/fm-simplex/simplex_cache.ml
create mode 100644 non-free/plugins/profiler/profiler.ml
create mode 100644 non-free/plugins/profiler/profiler.mli
create mode 100644 non-free/plugins/satML/satml.ml
create mode 100644 non-free/plugins/satML/satml.mli
create mode 100644 non-free/plugins/satML/satml_frontend.ml
create mode 100644 non-free/plugins/satML/satml_frontend.mli
create mode 100644 src/instances/instances.ml
copy src/instances/{matching.mli => instances.mli} (94%)
create mode 100644 src/util/emap.ml
create mode 100644 src/util/emap.mli
create mode 100644 src/util/gc_debug.ml
copy src/util/{profiling.mli => gc_debug.mli} (93%)
copy src/util/{myUnix.mli => myDynlink.ml} (61%)
copy src/util/{myUnix.mli => myDynlink.mli} (65%)
create mode 100644 src/util/myZip.ml
copy src/util/{version.ml => myZip.mli} (53%)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
More information about the Pkg-ocaml-maint-commits
mailing list