[Pkg-ocaml-maint-commits] [menhir] 02/05: Merge tag 'upstream/20160808+dfsg'
Stéphane Glondu
glondu at moszumanska.debian.org
Tue Aug 16 08:12:53 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 a077905a6034d2ca84acc9b596ca6cc1b4f111ad
Merge: 6711997 5fc34d1
Author: Stephane Glondu <steph at glondu.net>
Date: Tue Aug 16 10:03:39 2016 +0200
Merge tag 'upstream/20160808+dfsg'
Upstream version 20160808+dfsg
CHANGES | 13 +++
INSTALLATION | 55 +++++++-----
Makefile | 11 ++-
src/META | 2 +-
src/StaticVersion.ml | 2 +-
src/StaticVersion.mli | 2 +-
src/codeBackend.ml | 9 +-
src/codePieces.ml | 27 +++++-
src/codePieces.mli | 14 ++-
src/fancy-parser.mly | 3 +-
src/grammarFunctor.ml | 61 ++++++++++++-
src/grammarFunctor.mli | 23 +++--
src/lr1.ml | 106 ++++++++++++----------
src/menhirLib.mlpack | 2 +-
src/misc.ml | 27 ++++++
src/misc.mli | 5 ++
src/myocamlbuild.ml | 4 +-
src/nonTerminalDefinitionInlining.ml | 35 +++++---
src/parameterizedGrammar.ml | 165 +++++++++++++++++++----------------
src/parserAux.ml | 5 ++
src/parserAux.mli | 5 ++
src/partialGrammar.ml | 41 +++++----
src/reachability.ml | 7 +-
src/syntax.mli | 13 ++-
src/tableBackend.ml | 15 +---
src/unparameterizedSyntax.ml | 3 +-
src/version.ml | 2 +-
src/yacc-parser.mly | 3 +-
28 files changed, 432 insertions(+), 228 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