This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch master
in repository alt-ergo.

      from  db669a5   bump build-dep on ocaml
       new  3e9c8d4   dh compat level 10
       new  16c9464   bumped standards-version
       new  8e290d7   dropped redundant Testsuite
       new  568aa6c   updated Vcs-{Git,Browser}
       new  79f8d40   New upstream version 1.30
       new  10abc0e   Merge tag 'upstream/1.30'
       new  1ae21bb   new upstream version
       new  9b20bce   fix spelling
       new  925ad0e   + build-dependency on ocaml-findlib

The 9 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 CHANGES                                        |   64 +-
 INSTALL.md                                     |   34 +-
 Makefile.configurable.in                       |    6 +-
 Makefile.users                                 |   16 +-
 README.md                                      |    2 +-
 configure                                      |  126 +-
 configure.in                                   |   82 +-
 debian/changelog                               |   19 +
 debian/compat                                  |    2 +-
 debian/control                                 |   12 +-
 debian/patches/0001-dont-activate-debug-flag   |   16 +-
 debian/patches/0002-non-free-dropped           |   16 +-
 debian/patches/0003-allow-set-build-date       |    6 +-
 debian/patches/series                          |    1 +
 debian/patches/spelling                        |   38 +
 debian/rules                                   |    2 +-
 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 +-
 115 files changed, 12500 insertions(+), 2539 deletions(-)
 create mode 100644 debian/patches/spelling
 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