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

mehdi pushed a commit to branch master
in repository menhir.

commit a81be9903cd4487c9715a7589460aff04776665a
Merge: 6c5c372 f4beec5
Author: Mehdi Dogguy <me...@debian.org>
Date:   Sun Jan 17 20:50:04 2016 +0100

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

 CHANGES                                            |  184 ++-
 LICENSE                                            |   18 +-
 Makefile                                           |  154 +-
 demos/Makefile                                     |    4 +-
 demos/calc-incremental/.gitignore                  |    2 -
 demos/calc-incremental/.gitignore~                 |    3 -
 demos/calc-incremental/Makefile                    |    5 +-
 demos/calc-incremental/_tags                       |    0
 demos/calc-incremental/calc.ml                     |   79 +-
 demos/calc-incremental/lexer.mll                   |   14 -
 demos/calc-incremental/parser.mly                  |   14 -
 demos/calc-inspection/CalcErrorReporting.ml        |   29 +
 demos/calc-inspection/CalcErrorReporting.mli       |    7 +
 demos/calc-inspection/CalcPrinters.ml              |   67 +
 demos/calc-inspection/CalcPrinters.mli             |    9 +
 demos/calc-inspection/ErrorReporting.ml            |  177 +++
 demos/calc-inspection/ErrorReporting.mli           |   79 ++
 .../{calc-incremental => calc-inspection}/Makefile |   10 +-
 demos/calc-inspection/README                       |    3 +
 demos/calc-inspection/calc.ml                      |   66 +
 demos/{calc => calc-inspection}/lexer.mll          |   14 -
 demos/calc-inspection/parser.mly                   |   33 +
 demos/calc-param/.gitignore                        |   11 -
 demos/calc-param/Makefile                          |   29 +-
 demos/calc-param/_tags                             |    2 +
 demos/calc-param/calc.ml                           |   14 -
 demos/calc-param/lexer.mll                         |   14 -
 demos/calc-param/myocamlbuild.ml                   |   25 +
 demos/calc-param/parser.mly                        |   14 -
 demos/calc-param/parser.mlypack                    |    1 +
 demos/calc-param/tokens.mly                        |   14 -
 demos/calc-param/tokens.mlypack                    |    1 +
 demos/calc-two/.gitignore                          |   13 -
 demos/calc-two/Makefile                            |   31 +-
 demos/calc-two/_tags                               |    5 +
 demos/calc-two/algebraic.mly                       |   14 -
 demos/calc-two/algebraic.mlypack                   |    1 +
 demos/calc-two/calc.ml                             |   14 -
 demos/calc-two/common.mly                          |   14 -
 demos/calc-two/lexer.mll                           |   14 -
 demos/calc-two/myocamlbuild.ml                     |   31 +
 demos/calc-two/reverse.mly                         |   14 -
 demos/calc-two/reverse.mlypack                     |    1 +
 demos/calc-two/tokens.mly                          |   14 -
 demos/calc-two/tokens.mlypack                      |    1 +
 demos/calc/.gitignore                              |    3 -
 demos/calc/Makefile                                |    2 +-
 demos/calc/README                                  |    3 +
 demos/calc/_tags                                   |    0
 demos/calc/calc.ml                                 |   14 -
 demos/calc/lexer.mll                               |   14 -
 demos/calc/parser.mly                              |   14 -
 demos/find-menhir.sh                               |    6 +-
 demos/{ => obsolete}/Makefile.auto                 |    0
 .../Makefile => obsolete/Makefile.calc-two}        |    3 +
 demos/{ => obsolete}/Makefile.shared               |    0
 demos/{ => obsolete}/ocamldep.wrapper              |    0
 src/Boolean.ml                                     |   17 +
 src/Boolean.mli                                    |    4 +
 src/{convert.ml => Convert.ml}                     |    6 +-
 src/{convert.mli => Convert.mli}                   |    6 +-
 src/DependencyGraph.ml                             |   52 +
 src/DependencyGraph.mli                            |    6 +
 src/Driver.mli                                     |    6 +
 src/Engine.ml                                      |  729 ++++++++++
 src/{engine.mli => Engine.mli}                     |    7 +-
 src/{engineTypes.ml => EngineTypes.ml}             |   60 +-
 src/Fix.ml                                         |   13 +-
 src/Fix.mli                                        |   13 +-
 src/FixSolver.ml                                   |   72 +
 src/FixSolver.mli                                  |   29 +
 src/General.ml                                     |   88 ++
 src/General.mli                                    |   61 +
 src/IL.mli                                         |  110 +-
 src/IO.ml                                          |   97 +-
 src/IO.mli                                         |   38 +-
 src/IncrementalEngine.ml                           |  338 ++++-
 src/{infiniteArray.ml => InfiniteArray.ml}         |   16 +-
 src/{infiniteArray.mli => InfiniteArray.mli}       |    8 +-
 src/InspectionTableFormat.ml                       |   75 +
 src/InspectionTableInterpreter.ml                  |  219 +++
 src/InspectionTableInterpreter.mli                 |   44 +
 src/LRijkstra.ml                                   | 1384 ++++++++++++++++++
 src/LRijkstra.mli                                  |   16 +
 src/LinearizedArray.ml                             |   81 ++
 src/LinearizedArray.mli                            |   73 +
 src/LowIntegerPriorityQueue.ml                     |   93 ++
 src/LowIntegerPriorityQueue.mli                    |   26 +
 src/META                                           |    2 +-
 src/Makefile                                       |   19 +-
 src/Maps.ml                                        |  163 +++
 src/Maps.mli                                       |   77 +
 src/MySet.ml                                       |   89 ++
 src/MySet.mli                                      |   17 +
 src/{packedIntArray.ml => PackedIntArray.ml}       |   15 +-
 src/{packedIntArray.mli => PackedIntArray.mli}     |   14 +-
 src/Printers.ml                                    |  116 ++
 src/Printers.mli                                   |   78 ++
 src/{rowDisplacement.ml => RowDisplacement.ml}     |    6 +-
 src/{rowDisplacement.mli => RowDisplacement.mli}   |    6 +-
 src/StaticVersion.ml                               |    1 +
 src/StaticVersion.mli                              |    1 +
 src/{tableFormat.ml => TableFormat.ml}             |   18 +-
 src/{tableInterpreter.ml => TableInterpreter.ml}   |   37 +-
 src/{tableInterpreter.mli => TableInterpreter.mli} |   18 +-
 src/_tags                                          |   21 +-
 src/action.ml                                      |  307 ++--
 src/action.mli                                     |   78 +-
 src/astar.ml                                       |  312 +++++
 src/astar.mli                                      |   51 +
 src/back.ml                                        |   31 +-
 src/back.mli                                       |   14 -
 src/breadth.ml                                     |   76 -
 src/breadth.mli                                    |   53 -
 src/checkOCamlVersion.ml                           |   14 -
 src/codeBackend.ml                                 |  258 ++--
 src/codeBackend.mli                                |   14 -
 src/codeBits.ml                                    |   92 +-
 src/codeBits.mli                                   |   51 +-
 src/codePieces.ml                                  |   47 +-
 src/codePieces.mli                                 |   25 +-
 src/compressedBitSet.ml                            |   42 +-
 src/compressedBitSet.mli                           |   14 -
 src/concreteSyntax.mli                             |   15 -
 src/conflict.ml                                    |   61 +-
 src/conflict.mli                                   |   14 -
 src/coqBackend.ml                                  |   43 +-
 src/coqBackend.mli                                 |   14 -
 src/cst.ml                                         |   14 -
 src/cst.mli                                        |   14 -
 src/derivation.ml                                  |   14 -
 src/derivation.mli                                 |   14 -
 src/dot.ml                                         |   50 +-
 src/dot.mli                                        |   23 +-
 src/engine.ml                                      |  472 -------
 src/error.ml                                       |   77 +-
 src/error.mli                                      |   44 +-
 src/fancy-parser.mly                               |  227 ++-
 src/fancyDriver.ml                                 |   56 +
 src/front.ml                                       |  139 +-
 src/front.mli                                      |   24 +-
 src/gMap.ml                                        |   19 +-
 src/gSet.ml                                        |   18 +-
 src/grammar.ml                                     | 1208 +---------------
 src/grammarFunctor.ml                              | 1475 ++++++++++++++++++++
 src/{grammar.mli => grammarFunctor.mli}            |  168 ++-
 src/infer.ml                                       |  156 +--
 src/infer.mli                                      |   14 -
 src/inliner.ml                                     |   56 +-
 src/inliner.mli                                    |   14 -
 src/installation.ml                                |   16 +-
 src/installation.mli                               |   14 -
 src/interface.ml                                   |  221 +--
 src/interface.mli                                  |   34 +-
 src/internalSyntax.mli                             |   15 +-
 src/interpret.ml                                   |  711 +++++++++-
 src/interpret.mli                                  |   34 +-
 src/invariant.ml                                   |  292 ++--
 src/invariant.mli                                  |   19 +-
 src/item.ml                                        |   28 +-
 src/item.mli                                       |   20 +-
 src/keyword.ml                                     |   53 +-
 src/keyword.mli                                    |   46 +-
 src/keywordExpansion.ml                            |  210 +++
 src/keywordExpansion.mli                           |    8 +
 src/lexdep.mll                                     |   14 -
 src/lexer.mll                                      |  716 ++++++----
 src/lexmli.mll                                     |   14 -
 src/lineCount.mll                                  |   14 -
 src/listMonad.ml                                   |   14 -
 src/listMonad.mli                                  |   16 -
 src/lookahead.mli                                  |   14 -
 src/lr0.ml                                         |   51 +-
 src/lr0.mli                                        |   35 +-
 src/lr1.ml                                         |  359 +++--
 src/lr1.mli                                        |   47 +-
 src/lr1partial.ml                                  |   24 +-
 src/lr1partial.mli                                 |   22 +-
 src/mark.ml                                        |   14 -
 src/mark.mli                                       |   14 -
 src/menhir.ml                                      |   16 +-
 src/menhirLib.mlpack                               |   20 +-
 src/misc.ml                                        |  201 +--
 src/misc.mli                                       |   74 +-
 src/myocamlbuild.ml                                |  239 +++-
 src/nonTerminalDefinitionInlining.ml               |  279 ++--
 src/nonTerminalDefinitionInlining.mli              |   16 -
 src/nonpositiveCycles.ml                           |  130 --
 src/nonpositiveCycles.mli                          |   46 -
 src/nonterminalType.ml                             |   81 ++
 src/nonterminalType.mli                            |   41 +
 src/option.ml                                      |   20 +-
 src/option.mli                                     |   15 +-
 src/parameterizedGrammar.ml                        |   79 +-
 src/parameterizedGrammar.mli                       |   16 -
 src/parameters.ml                                  |   17 -
 src/parserAux.ml                                   |  101 +-
 src/parserAux.mli                                  |   70 +-
 src/parserMessages.messages                        |  297 ++++
 src/partialGrammar.ml                              |  202 +--
 src/partialGrammar.mli                             |   16 -
 src/patricia.ml                                    |   34 +-
 src/patricia.mli                                   |   14 -
 src/positions.ml                                   |   26 +-
 src/positions.mli                                  |   18 +-
 src/pprint.ml                                      |   14 -
 src/pprint.mli                                     |   14 -
 src/preFront.ml                                    |   81 --
 src/preFront.mli                                   |   28 -
 src/printer.ml                                     |  351 ++---
 src/printer.mli                                    |   18 -
 src/rawPrinter.ml                                  |   16 -
 src/rawPrinter.mli                                 |   14 -
 src/reachability.ml                                |   18 +-
 src/reachability.mli                               |   14 -
 src/reductionGraphs.ml                             |  359 -----
 src/referenceInterpreter.ml                        |  380 +++--
 src/referenceInterpreter.mli                       |   47 +-
 src/resizableArray.ml                              |  100 ++
 src/resizableArray.mli                             |   60 +
 src/segment.mll                                    |  110 ++
 src/sentenceLexer.mll                              |   61 +-
 src/sentenceParser.mly                             |  111 +-
 src/sentenceParserAux.ml                           |   35 +
 src/settings.ml                                    |  131 +-
 src/settings.mli                                   |   66 +-
 src/slr.ml                                         |   16 +-
 src/slr.mli                                        |   14 -
 src/standard.mly                                   |   78 +-
 src/stretch.mli                                    |   21 +-
 src/stringMap.ml                                   |   14 -
 src/stringMap.mli                                  |   14 -
 src/stringSet.ml                                   |   14 -
 src/stringSet.mli                                  |   14 -
 src/syntax.mli                                     |   43 +-
 src/tableBackend.ml                                |  855 ++++++++----
 src/tableBackend.mli                               |   14 -
 src/tarjan.ml                                      |   14 -
 src/tarjan.mli                                     |   14 -
 src/time.ml                                        |   14 -
 src/time.mli                                       |   14 -
 src/tokenType.ml                                   |  239 ++--
 src/tokenType.mli                                  |   75 +-
 src/traverse.ml                                    |   24 -
 src/unionFind.ml                                   |   16 -
 src/unionFind.mli                                  |   16 -
 src/unparameterizedPrinter.ml                      |   36 +-
 src/unparameterizedPrinter.mli                     |   14 -
 src/unparameterizedSyntax.ml                       |   90 ++
 src/unparameterizedSyntax.mli                      |   59 -
 src/version.ml                                     |    2 +-
 src/yacc-parser.mly                                |  110 +-
 src/yaccDriver.ml                                  |   15 +
 253 files changed, 13337 insertions(+), 7426 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