This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch master
in repository menhir.
from 39784f7 Release to unstable
new 19f71dc Imported Upstream version 20160526.dfsg
new 0cee95c Merge tag 'upstream/20160526.dfsg'
new 0a933db New upstream release
new c3d568f Refresh patches
new 5b2f56c Update Vcs-*
new a52d97f Switch debian/copyright to format 1.0
new f1f8a1f Bump Standards-Version to 3.9.8
new 59410b0 Bump debhelper compat to 9
new 6711997 Update changelog and prepare upload to unstable
The 9 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.
Summary of changes:
CHANGES | 32 +-
INSTALLATION | 9 +-
Makefile | 13 +-
debian/changelog | 11 +
debian/compat | 2 +-
debian/control | 8 +-
debian/copyright | 290 +++++----
.../0001-Remove-some-invalid-characters.patch | 3 -
...yte-plugin-to-ocamlbuild-when-TARGET-byte.patch | 5 +-
debian/rules | 2 +-
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 +-
111 files changed, 4165 insertions(+), 3817 deletions(-)
create mode 100644 src/anonymous.ml
create mode 100644 src/anonymous.mli
mode change 100755 => 100644 src/astar.ml
delete mode 100644 src/concreteSyntax.mli
delete mode 100644 src/internalSyntax.mli
--
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
