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

glondu pushed a commit to branch master
in repository menhir.

commit 0cee95c57dbabf54fbf19d49528e0f7a28a32789
Merge: 39784f7 19f71dc
Author: Stephane Glondu <st...@glondu.net>
Date:   Sat Aug 6 10:28:03 2016 +0200

    Merge tag 'upstream/20160526.dfsg'
    
    Upstream version 20160526.dfsg

 CHANGES                              |  32 +-
 INSTALLATION                         |   9 +-
 Makefile                             |  13 +-
 src/Driver.mli                       |   3 +-
 src/Engine.ml                        |   6 +-
 src/Engine.mli                       |   2 +-
 src/Fix.ml                           |  22 +-
 src/Fix.mli                          |   1 -
 src/IL.mli                           |  18 +-
 src/IncrementalEngine.ml             |   2 +-
 src/InfiniteArray.ml                 |   4 +-
 src/InspectionTableInterpreter.ml    |   2 +-
 src/LRijkstra.ml                     |  84 +++--
 src/META                             |   2 +-
 src/Makefile                         |   5 +-
 src/Maps.ml                          |  18 +-
 src/Maps.mli                         |   4 +-
 src/PackedIntArray.ml                |  30 +-
 src/RowDisplacement.ml               |  62 ++--
 src/StaticVersion.ml                 |   2 +-
 src/StaticVersion.mli                |   2 +-
 src/TableFormat.ml                   |   4 +-
 src/TableInterpreter.ml              |  82 ++---
 src/TableInterpreter.mli             |   2 +-
 src/_tags                            |   6 +
 src/action.ml                        |  28 +-
 src/anonymous.ml                     | 134 +++++++
 src/anonymous.mli                    |   3 +
 src/astar.ml                         |  26 +-
 src/back.ml                          |  16 +-
 src/checkOCamlVersion.ml             |  64 ++--
 src/codeBackend.ml                   | 364 +++++++++----------
 src/codeBits.ml                      |   4 +-
 src/codePieces.ml                    |  24 +-
 src/codePieces.mli                   |   2 +-
 src/compressedBitSet.ml              | 198 +++++------
 src/concreteSyntax.mli               |   9 -
 src/conflict.ml                      | 284 +++++++--------
 src/coqBackend.ml                    | 247 +++++++------
 src/cst.ml                           |  46 +--
 src/derivation.ml                    |  74 ++--
 src/dot.ml                           |  68 ++--
 src/error.ml                         |   8 +-
 src/fancy-parser.mly                 |  54 +--
 src/front.ml                         |  24 +-
 src/grammarFunctor.ml                | 288 +++++++--------
 src/grammarFunctor.mli               |   8 +-
 src/infer.ml                         | 108 +++---
 src/infer.mli                        |   2 +-
 src/inliner.ml                       | 156 ++++----
 src/internalSyntax.mli               |  11 -
 src/interpret.ml                     |  72 ++--
 src/invariant.ml                     | 184 +++++-----
 src/invariant.mli                    |   2 +-
 src/item.ml                          | 162 ++++-----
 src/lexdep.mll                       |   4 +-
 src/lexer.mll                        |  38 +-
 src/listMonad.ml                     |  22 +-
 src/lr0.ml                           | 104 +++---
 src/lr0.mli                          |   2 +-
 src/lr1.ml                           | 456 ++++++++++++------------
 src/lr1partial.ml                    | 138 ++++----
 src/misc.ml                          |  42 +--
 src/misc.mli                         |  16 +-
 src/myocamlbuild.ml                  |  59 +++-
 src/nonTerminalDefinitionInlining.ml | 208 ++++++-----
 src/parameterizedGrammar.ml          | 665 ++++++++++++++++++-----------------
 src/parameterizedGrammar.mli         |   4 +-
 src/parameters.ml                    |  45 +--
 src/parserAux.ml                     |  69 +---
 src/parserAux.mli                    |  11 +-
 src/partialGrammar.ml                | 610 ++++++++++++++++----------------
 src/partialGrammar.mli               |   6 +-
 src/patricia.ml                      | 654 +++++++++++++++++-----------------
 src/positions.ml                     |  30 +-
 src/positions.mli                    |  14 +-
 src/pprint.ml                        | 174 ++++-----
 src/pprint.mli                       |   4 +-
 src/printer.ml                       | 184 +++++-----
 src/printer.mli                      |   2 +-
 src/rawPrinter.ml                    |   2 +-
 src/reachability.ml                  |  12 +-
 src/referenceInterpreter.ml          |  24 +-
 src/resizableArray.ml                |   2 +-
 src/segment.mll                      |   2 +-
 src/sentenceLexer.mll                |  20 +-
 src/sentenceParser.mly               |   6 +-
 src/settings.ml                      |  67 ++--
 src/settings.mli                     |   4 +-
 src/slr.ml                           |  12 +-
 src/standard.mly                     |   2 +-
 src/stretch.mli                      |  16 +-
 src/stringMap.ml                     |  12 +-
 src/stringMap.mli                    |   6 +-
 src/syntax.mli                       | 173 ++++++---
 src/tableBackend.ml                  |  96 ++---
 src/tarjan.ml                        | 112 +++---
 src/tokenType.ml                     |  24 +-
 src/traverse.ml                      | 156 ++++----
 src/unionFind.ml                     |  30 +-
 src/unparameterizedPrinter.ml        | 153 ++++----
 src/unparameterizedSyntax.ml         |  26 +-
 src/version.ml                       |   2 +-
 src/yacc-parser.mly                  |  54 ++-
 104 files changed, 4004 insertions(+), 3657 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.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