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

_______________________________________________
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

Reply via email to