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