This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository alt-ergo.
commit 10abc0e5b8b42cff822c7dbc338fb66d0b54e046 Merge: 568aa6c 79f8d40 Author: Ralf Treinen <trei...@free.fr> Date: Tue Nov 29 21:25:40 2016 +0100 Merge tag 'upstream/1.30' Upstream version 1.30 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/{util.ml => gc_debug.mli} | 11 +- src/util/hashcons.ml | 2 + src/util/hstring.ml | 19 +- src/util/hstring.mli | 4 + src/util/{util.ml => myDynlink.ml} | 26 +- src/util/{util.ml => myDynlink.mli} | 18 +- 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, 12416 insertions(+), 2532 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits