[Pkg-ocaml-maint-commits] [menhir] 02/09: Merge tag 'upstream/20160526.dfsg'
Stéphane Glondu
glondu at moszumanska.debian.org
Sat Aug 6 09:01:08 UTC 2016
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 <steph at 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
More information about the Pkg-ocaml-maint-commits
mailing list