This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository menhir.
commit 4a44d8cc525b36f308f4c331e82cc58edf9f0fbd
Merge: f74e5a6 6f9a81c
Author: Ralf Treinen <trei...@free.fr>
Date: Mon Jun 19 21:20:35 2017 +0200
Merge tag 'upstream/20170607.dfsg'
Upstream version 20170607.dfsg
AUTHORS | 3 -
CHANGES | 465 -----------------------
CHANGES.md | 655 ++++++++++++++++++++++++++++++++
INSTALLATION | 46 ---
INSTALLATION.md | 47 +++
LICENSE | 416 +++++++++++++++-----
Makefile | 39 +-
README.md | 24 ++
demos/Makefile | 23 +-
demos/calc-incremental/.merlin | 2 +
demos/calc-inspection/.merlin | 2 +
demos/calc-inspection/ErrorReporting.ml | 7 +-
demos/calc-inspection/calc.ml | 5 +-
demos/calc-param/.merlin | 1 +
demos/calc-two/.merlin | 1 +
demos/calc/.merlin | 1 +
demos/generate-printers/.merlin | 1 +
demos/generate-printers/Makefile | 26 ++
demos/generate-printers/README.md | 22 ++
demos/generate-printers/_tags | 5 +
demos/generate-printers/generate.ml | 173 +++++++++
src/Boolean.ml | 13 +
src/Boolean.mli | 13 +
src/Convert.ml | 25 +-
src/Convert.mli | 25 +-
src/DependencyGraph.ml | 13 +
src/DependencyGraph.mli | 13 +
src/Driver.mli | 13 +
src/Engine.ml | 323 +++++++++++-----
src/Engine.mli | 43 ++-
src/EngineTypes.ml | 62 ++-
src/ErrorReports.ml | 78 ++++
src/ErrorReports.mli | 43 +++
src/Fix.ml | 26 +-
src/Fix.mli | 24 +-
src/FixSolver.ml | 13 +
src/FixSolver.mli | 13 +
src/General.ml | 25 +-
src/General.mli | 29 +-
src/IL.mli | 13 +
src/IO.ml | 13 +
src/IO.mli | 13 +
src/IncrementalEngine.ml | 207 +++++++---
src/InfiniteArray.ml | 25 +-
src/InfiniteArray.mli | 25 +-
src/InputFile.ml | 105 +++++
src/InputFile.mli | 63 +++
src/InspectionTableFormat.ml | 25 +-
src/InspectionTableInterpreter.ml | 186 ++++++---
src/InspectionTableInterpreter.mli | 46 ++-
src/LRijkstra.ml | 24 +-
src/LRijkstra.mli | 13 +
src/LinearizedArray.ml | 25 +-
src/LinearizedArray.mli | 25 +-
src/LowIntegerPriorityQueue.ml | 13 +
src/LowIntegerPriorityQueue.mli | 13 +
src/META | 6 +-
src/Makefile | 80 ++--
src/Maps.ml | 13 +
src/Maps.mli | 13 +
src/MySet.ml | 13 +
src/MySet.mli | 13 +
src/PackedIntArray.ml | 25 +-
src/PackedIntArray.mli | 25 +-
src/Printers.ml | 57 +--
src/Printers.mli | 32 +-
src/RowDisplacement.ml | 28 +-
src/RowDisplacement.mli | 25 +-
src/StaticVersion.ml | 2 +-
src/StaticVersion.mli | 2 +-
src/TableFormat.ml | 28 +-
src/TableInterpreter.ml | 120 ++++--
src/TableInterpreter.mli | 46 +--
src/_tags | 15 +-
src/action.ml | 21 +-
src/action.mli | 16 +-
src/anonymous.ml | 26 +-
src/anonymous.mli | 13 +
src/astar.ml | 13 +
src/astar.mli | 13 +
src/back.ml | 46 ++-
src/back.mli | 13 +
src/checkOCamlVersion.ml | 19 +-
src/cmly_api.ml | 142 +++++++
src/cmly_format.ml | 112 ++++++
src/cmly_read.ml | 340 +++++++++++++++++
src/cmly_read.mli | 21 +
src/cmly_write.ml | 173 +++++++++
src/cmly_write.mli | 19 +
src/codeBackend.ml | 31 +-
src/codeBackend.mli | 13 +
src/codeBits.ml | 33 ++
src/codeBits.mli | 19 +
src/codePieces.ml | 19 +-
src/codePieces.mli | 13 +
src/compressedBitSet.ml | 13 +
src/compressedBitSet.mli | 13 +
src/conflict.ml | 13 +
src/conflict.mli | 13 +
src/coqBackend.ml | 23 +-
src/coqBackend.mli | 13 +
src/cst.ml | 13 +
src/cst.mli | 13 +
src/default.ml | 85 +++++
src/default.mli | 19 +
src/derivation.ml | 13 +
src/derivation.mli | 13 +
src/dot.ml | 13 +
src/dot.mli | 13 +
src/error.ml | 55 +--
src/error.mli | 35 +-
src/fancy-parser.mly | 53 ++-
src/fancyDriver.ml | 81 ++--
src/front.ml | 32 +-
src/front.mli | 13 +
src/gMap.ml | 13 +
src/gSet.ml | 13 +
src/grammar.ml | 13 +
src/grammarFunctor.ml | 74 +++-
src/grammarFunctor.mli | 51 ++-
src/infer.ml | 21 +-
src/infer.mli | 13 +
src/inliner.ml | 13 +
src/inliner.mli | 13 +
src/installation.ml | 2 -
src/installation.mli | 13 +
src/interface.ml | 17 +-
src/interface.mli | 13 +
src/interpret.ml | 17 +-
src/interpret.mli | 13 +
src/invariant.ml | 154 +-------
src/invariant.mli | 43 +--
src/item.ml | 13 +
src/item.mli | 13 +
src/keyword.ml | 13 +
src/keyword.mli | 24 +-
src/keywordExpansion.ml | 22 +-
src/keywordExpansion.mli | 13 +
src/lexdep.mll | 13 +
src/lexer.mll | 105 +++--
src/lexmli.mll | 13 +
src/lineCount.mll | 13 +
src/listMonad.ml | 13 +
src/listMonad.mli | 13 +
src/lookahead.mli | 13 +
src/lr0.ml | 18 +-
src/lr0.mli | 13 +
src/lr1.ml | 104 ++++-
src/lr1.mli | 21 +
src/lr1partial.ml | 13 +
src/lr1partial.mli | 13 +
src/mark.ml | 13 +
src/mark.mli | 13 +
src/menhir.ml | 13 +
src/{META => menhirLib.META} | 1 -
src/menhirLib.mlpack | 1 +
src/menhirSdk.META | 4 +
src/menhirSdk.mlpack | 6 +
src/misc.ml | 38 ++
src/misc.mli | 24 ++
src/myocamlbuild.ml | 47 ++-
src/nonTerminalDefinitionInlining.ml | 105 +++--
src/nonTerminalDefinitionInlining.mli | 13 +
src/nonterminalType.ml | 13 +
src/nonterminalType.mli | 13 +
src/option.ml | 13 +
src/option.mli | 13 +
src/parameterizedGrammar.ml | 373 +++++++++++-------
src/parameterizedGrammar.mli | 13 +
src/parameters.ml | 21 +
src/parserAux.ml | 94 +++--
src/parserAux.mli | 46 ++-
src/parserMessages.messages | 142 ++++---
src/partialGrammar.ml | 180 +++++----
src/partialGrammar.mli | 13 +
src/patricia.ml | 13 +
src/patricia.mli | 13 +
src/positions.ml | 15 +-
src/positions.mli | 15 +-
src/pprint.ml | 13 +
src/pprint.mli | 13 +
src/printer.ml | 112 +++++-
src/printer.mli | 38 +-
src/rawPrinter.ml | 13 +
src/rawPrinter.mli | 13 +
src/reachability.ml | 17 +-
src/reachability.mli | 13 +
src/referenceInterpreter.ml | 53 ++-
src/referenceInterpreter.mli | 13 +
src/resizableArray.ml | 13 +
src/resizableArray.mli | 13 +
src/segment.mll | 13 +
src/sentenceLexer.mll | 13 +
src/sentenceParser.mly | 13 +
src/sentenceParserAux.ml | 13 +
src/settings.ml | 56 ++-
src/settings.mli | 21 +-
src/slr.ml | 13 +
src/slr.mli | 13 +
src/standard.mly | 25 +-
src/stretch.mli | 16 +-
src/stringMap.ml | 13 +
src/stringMap.mli | 13 +
src/stringSet.ml | 13 +
src/stringSet.mli | 13 +
src/syntax.mli | 77 +++-
src/tableBackend.ml | 133 ++++---
src/tableBackend.mli | 13 +
src/tarjan.ml | 13 +
src/tarjan.mli | 13 +
src/time.ml | 13 +
src/time.mli | 13 +
src/tokenType.ml | 13 +
src/tokenType.mli | 13 +
src/traverse.ml | 13 +
src/unionFind.ml | 13 +
src/unionFind.mli | 13 +
src/unparameterizedPrinter.ml | 566 ++++++++++++++++++---------
src/unparameterizedPrinter.mli | 13 +
src/unparameterizedSyntax.ml | 141 ++++---
src/version.ml | 2 +-
src/yacc-parser.mly | 61 ++-
src/yaccDriver.ml | 13 +
223 files changed, 7366 insertions(+), 2358 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
