[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