[Pkg-ocaml-maint-commits] [menhir] 02/06: Merge tag 'upstream/20151112.dfsg'
Mehdi Dogguy
mehdi at moszumanska.debian.org
Sun Jan 17 21:09:23 UTC 2016
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 <mehdi at 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
More information about the Pkg-ocaml-maint-commits
mailing list