This is an automated email from the git hooks/post-receive script.
mehdi pushed a change to branch master
in repository menhir.
from 6c5c372 Upload to experimental
new f4beec5 Imported Upstream version 20151112.dfsg
new a81be99 Merge tag 'upstream/20151112.dfsg'
new dd81d8c New upstream release.
new 7cd12f8 Refresh patches
new 565d17a Use Upstream's Makefile to install files
new 39784f7 Release to unstable
The 6 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 | 184 ++-
LICENSE | 18 +-
Makefile | 154 +-
debian/changelog | 10 +
.../0001-Remove-some-invalid-characters.patch | 3 +
...yte-plugin-to-ocamlbuild-when-TARGET-byte.patch | 25 +
...-Use-CURDIR-instead-of-.-during-bootstrap.patch | 21 -
debian/patches/series | 2 +-
debian/rules | 4 +-
demos/Makefile | 4 +-
demos/calc-incremental/.gitignore | 2 -
demos/calc-incremental/.gitignore~ | 3 -
demos/calc-incremental/Makefile | 5 +-
demos/calc-incremental/_tags | 0
demos/calc-incremental/calc.ml | 79 +-
demos/calc-incremental/lexer.mll | 14 -
demos/calc-incremental/parser.mly | 14 -
demos/calc-inspection/CalcErrorReporting.ml | 29 +
demos/calc-inspection/CalcErrorReporting.mli | 7 +
demos/calc-inspection/CalcPrinters.ml | 67 +
demos/calc-inspection/CalcPrinters.mli | 9 +
demos/calc-inspection/ErrorReporting.ml | 177 +++
demos/calc-inspection/ErrorReporting.mli | 79 ++
.../{calc-incremental => calc-inspection}/Makefile | 10 +-
demos/calc-inspection/README | 3 +
demos/calc-inspection/calc.ml | 66 +
demos/{calc => calc-inspection}/lexer.mll | 14 -
demos/calc-inspection/parser.mly | 33 +
demos/calc-param/.gitignore | 11 -
demos/calc-param/Makefile | 29 +-
demos/calc-param/_tags | 2 +
demos/calc-param/calc.ml | 14 -
demos/calc-param/lexer.mll | 14 -
demos/calc-param/myocamlbuild.ml | 25 +
demos/calc-param/parser.mly | 14 -
demos/calc-param/parser.mlypack | 1 +
demos/calc-param/tokens.mly | 14 -
demos/calc-param/tokens.mlypack | 1 +
demos/calc-two/.gitignore | 13 -
demos/calc-two/Makefile | 31 +-
demos/calc-two/_tags | 5 +
demos/calc-two/algebraic.mly | 14 -
demos/calc-two/algebraic.mlypack | 1 +
demos/calc-two/calc.ml | 14 -
demos/calc-two/common.mly | 14 -
demos/calc-two/lexer.mll | 14 -
demos/calc-two/myocamlbuild.ml | 31 +
demos/calc-two/reverse.mly | 14 -
demos/calc-two/reverse.mlypack | 1 +
demos/calc-two/tokens.mly | 14 -
demos/calc-two/tokens.mlypack | 1 +
demos/calc/.gitignore | 3 -
demos/calc/Makefile | 2 +-
demos/calc/README | 3 +
demos/calc/_tags | 0
demos/calc/calc.ml | 14 -
demos/calc/lexer.mll | 14 -
demos/calc/parser.mly | 14 -
demos/find-menhir.sh | 6 +-
demos/{ => obsolete}/Makefile.auto | 0
.../Makefile => obsolete/Makefile.calc-two} | 3 +
demos/{ => obsolete}/Makefile.shared | 0
demos/{ => obsolete}/ocamldep.wrapper | 0
src/Boolean.ml | 17 +
src/Boolean.mli | 4 +
src/{convert.ml => Convert.ml} | 6 +-
src/{convert.mli => Convert.mli} | 6 +-
src/DependencyGraph.ml | 52 +
src/DependencyGraph.mli | 6 +
src/Driver.mli | 6 +
src/Engine.ml | 729 ++++++++++
src/{engine.mli => Engine.mli} | 7 +-
src/{engineTypes.ml => EngineTypes.ml} | 60 +-
src/Fix.ml | 13 +-
src/Fix.mli | 13 +-
src/FixSolver.ml | 72 +
src/FixSolver.mli | 29 +
src/General.ml | 88 ++
src/General.mli | 61 +
src/IL.mli | 110 +-
src/IO.ml | 97 +-
src/IO.mli | 38 +-
src/IncrementalEngine.ml | 338 ++++-
src/{infiniteArray.ml => InfiniteArray.ml} | 16 +-
src/{infiniteArray.mli => InfiniteArray.mli} | 8 +-
src/InspectionTableFormat.ml | 75 +
src/InspectionTableInterpreter.ml | 219 +++
src/InspectionTableInterpreter.mli | 44 +
src/LRijkstra.ml | 1384 ++++++++++++++++++
src/LRijkstra.mli | 16 +
src/LinearizedArray.ml | 81 ++
src/LinearizedArray.mli | 73 +
src/LowIntegerPriorityQueue.ml | 93 ++
src/LowIntegerPriorityQueue.mli | 26 +
src/META | 2 +-
src/Makefile | 19 +-
src/Maps.ml | 163 +++
src/Maps.mli | 77 +
src/MySet.ml | 89 ++
src/MySet.mli | 17 +
src/{packedIntArray.ml => PackedIntArray.ml} | 15 +-
src/{packedIntArray.mli => PackedIntArray.mli} | 14 +-
src/Printers.ml | 116 ++
src/Printers.mli | 78 ++
src/{rowDisplacement.ml => RowDisplacement.ml} | 6 +-
src/{rowDisplacement.mli => RowDisplacement.mli} | 6 +-
src/StaticVersion.ml | 1 +
src/StaticVersion.mli | 1 +
src/{tableFormat.ml => TableFormat.ml} | 18 +-
src/{tableInterpreter.ml => TableInterpreter.ml} | 37 +-
src/{tableInterpreter.mli => TableInterpreter.mli} | 18 +-
src/_tags | 21 +-
src/action.ml | 307 ++--
src/action.mli | 78 +-
src/astar.ml | 312 +++++
src/astar.mli | 51 +
src/back.ml | 31 +-
src/back.mli | 14 -
src/breadth.ml | 76 -
src/breadth.mli | 53 -
src/checkOCamlVersion.ml | 14 -
src/codeBackend.ml | 258 ++--
src/codeBackend.mli | 14 -
src/codeBits.ml | 92 +-
src/codeBits.mli | 51 +-
src/codePieces.ml | 47 +-
src/codePieces.mli | 25 +-
src/compressedBitSet.ml | 42 +-
src/compressedBitSet.mli | 14 -
src/concreteSyntax.mli | 15 -
src/conflict.ml | 61 +-
src/conflict.mli | 14 -
src/coqBackend.ml | 43 +-
src/coqBackend.mli | 14 -
src/cst.ml | 14 -
src/cst.mli | 14 -
src/derivation.ml | 14 -
src/derivation.mli | 14 -
src/dot.ml | 50 +-
src/dot.mli | 23 +-
src/engine.ml | 472 -------
src/error.ml | 77 +-
src/error.mli | 44 +-
src/fancy-parser.mly | 227 ++-
src/fancyDriver.ml | 56 +
src/front.ml | 139 +-
src/front.mli | 24 +-
src/gMap.ml | 19 +-
src/gSet.ml | 18 +-
src/grammar.ml | 1208 +---------------
src/grammarFunctor.ml | 1475 ++++++++++++++++++++
src/{grammar.mli => grammarFunctor.mli} | 168 ++-
src/infer.ml | 156 +--
src/infer.mli | 14 -
src/inliner.ml | 56 +-
src/inliner.mli | 14 -
src/installation.ml | 16 +-
src/installation.mli | 14 -
src/interface.ml | 221 +--
src/interface.mli | 34 +-
src/internalSyntax.mli | 15 +-
src/interpret.ml | 711 +++++++++-
src/interpret.mli | 34 +-
src/invariant.ml | 292 ++--
src/invariant.mli | 19 +-
src/item.ml | 28 +-
src/item.mli | 20 +-
src/keyword.ml | 53 +-
src/keyword.mli | 46 +-
src/keywordExpansion.ml | 210 +++
src/keywordExpansion.mli | 8 +
src/lexdep.mll | 14 -
src/lexer.mll | 716 ++++++----
src/lexmli.mll | 14 -
src/lineCount.mll | 14 -
src/listMonad.ml | 14 -
src/listMonad.mli | 16 -
src/lookahead.mli | 14 -
src/lr0.ml | 51 +-
src/lr0.mli | 35 +-
src/lr1.ml | 359 +++--
src/lr1.mli | 47 +-
src/lr1partial.ml | 24 +-
src/lr1partial.mli | 22 +-
src/mark.ml | 14 -
src/mark.mli | 14 -
src/menhir.ml | 16 +-
src/menhirLib.mlpack | 20 +-
src/misc.ml | 201 +--
src/misc.mli | 74 +-
src/myocamlbuild.ml | 239 +++-
src/nonTerminalDefinitionInlining.ml | 279 ++--
src/nonTerminalDefinitionInlining.mli | 16 -
src/nonpositiveCycles.ml | 130 --
src/nonpositiveCycles.mli | 46 -
src/nonterminalType.ml | 81 ++
src/nonterminalType.mli | 41 +
src/option.ml | 20 +-
src/option.mli | 15 +-
src/parameterizedGrammar.ml | 79 +-
src/parameterizedGrammar.mli | 16 -
src/parameters.ml | 17 -
src/parserAux.ml | 101 +-
src/parserAux.mli | 70 +-
src/parserMessages.messages | 297 ++++
src/partialGrammar.ml | 202 +--
src/partialGrammar.mli | 16 -
src/patricia.ml | 34 +-
src/patricia.mli | 14 -
src/positions.ml | 26 +-
src/positions.mli | 18 +-
src/pprint.ml | 14 -
src/pprint.mli | 14 -
src/preFront.ml | 81 --
src/preFront.mli | 28 -
src/printer.ml | 351 ++---
src/printer.mli | 18 -
src/rawPrinter.ml | 16 -
src/rawPrinter.mli | 14 -
src/reachability.ml | 18 +-
src/reachability.mli | 14 -
src/reductionGraphs.ml | 359 -----
src/referenceInterpreter.ml | 380 +++--
src/referenceInterpreter.mli | 47 +-
src/resizableArray.ml | 100 ++
src/resizableArray.mli | 60 +
src/segment.mll | 110 ++
src/sentenceLexer.mll | 61 +-
src/sentenceParser.mly | 111 +-
src/sentenceParserAux.ml | 35 +
src/settings.ml | 131 +-
src/settings.mli | 66 +-
src/slr.ml | 16 +-
src/slr.mli | 14 -
src/standard.mly | 78 +-
src/stretch.mli | 21 +-
src/stringMap.ml | 14 -
src/stringMap.mli | 14 -
src/stringSet.ml | 14 -
src/stringSet.mli | 14 -
src/syntax.mli | 43 +-
src/tableBackend.ml | 855 ++++++++----
src/tableBackend.mli | 14 -
src/tarjan.ml | 14 -
src/tarjan.mli | 14 -
src/time.ml | 14 -
src/time.mli | 14 -
src/tokenType.ml | 239 ++--
src/tokenType.mli | 75 +-
src/traverse.ml | 24 -
src/unionFind.ml | 16 -
src/unionFind.mli | 16 -
src/unparameterizedPrinter.ml | 36 +-
src/unparameterizedPrinter.mli | 14 -
src/unparameterizedSyntax.ml | 90 ++
src/unparameterizedSyntax.mli | 59 -
src/version.ml | 2 +-
src/yacc-parser.mly | 110 +-
src/yaccDriver.ml | 15 +
259 files changed, 13379 insertions(+), 7449 deletions(-)
create mode 100644
debian/patches/0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte.patch
delete mode 100644
debian/patches/0002-Use-CURDIR-instead-of-.-during-bootstrap.patch
delete mode 100644 demos/calc-incremental/.gitignore
delete mode 100644 demos/calc-incremental/.gitignore~
delete mode 100644 demos/calc-incremental/_tags
create mode 100644 demos/calc-inspection/CalcErrorReporting.ml
create mode 100644 demos/calc-inspection/CalcErrorReporting.mli
create mode 100644 demos/calc-inspection/CalcPrinters.ml
create mode 100644 demos/calc-inspection/CalcPrinters.mli
create mode 100644 demos/calc-inspection/ErrorReporting.ml
create mode 100644 demos/calc-inspection/ErrorReporting.mli
copy demos/{calc-incremental => calc-inspection}/Makefile (63%)
create mode 100644 demos/calc-inspection/README
create mode 100644 demos/calc-inspection/calc.ml
copy demos/{calc => calc-inspection}/lexer.mll (50%)
create mode 100644 demos/calc-inspection/parser.mly
delete mode 100644 demos/calc-param/.gitignore
create mode 100644 demos/calc-param/_tags
create mode 100644 demos/calc-param/myocamlbuild.ml
create mode 100644 demos/calc-param/parser.mlypack
create mode 100644 demos/calc-param/tokens.mlypack
delete mode 100644 demos/calc-two/.gitignore
create mode 100644 demos/calc-two/_tags
create mode 100644 demos/calc-two/algebraic.mlypack
create mode 100644 demos/calc-two/myocamlbuild.ml
create mode 100644 demos/calc-two/reverse.mlypack
create mode 100644 demos/calc-two/tokens.mlypack
delete mode 100644 demos/calc/.gitignore
delete mode 100644 demos/calc/_tags
rename demos/{ => obsolete}/Makefile.auto (100%)
copy demos/{calc-two/Makefile => obsolete/Makefile.calc-two} (82%)
rename demos/{ => obsolete}/Makefile.shared (100%)
rename demos/{ => obsolete}/ocamldep.wrapper (100%)
create mode 100644 src/Boolean.ml
create mode 100644 src/Boolean.mli
rename src/{convert.ml => Convert.ml} (95%)
rename src/{convert.mli => Convert.mli} (93%)
create mode 100644 src/DependencyGraph.ml
create mode 100644 src/DependencyGraph.mli
create mode 100644 src/Driver.mli
create mode 100644 src/Engine.ml
rename src/{engine.mli => Engine.mli} (77%)
rename src/{engineTypes.ml => EngineTypes.ml} (86%)
create mode 100644 src/FixSolver.ml
create mode 100644 src/FixSolver.mli
create mode 100644 src/General.ml
create mode 100644 src/General.mli
rename src/{infiniteArray.ml => InfiniteArray.ml} (82%)
rename src/{infiniteArray.mli => InfiniteArray.mli} (84%)
create mode 100644 src/InspectionTableFormat.ml
create mode 100644 src/InspectionTableInterpreter.ml
create mode 100644 src/InspectionTableInterpreter.mli
create mode 100644 src/LRijkstra.ml
create mode 100644 src/LRijkstra.mli
create mode 100644 src/LinearizedArray.ml
create mode 100644 src/LinearizedArray.mli
create mode 100644 src/LowIntegerPriorityQueue.ml
create mode 100644 src/LowIntegerPriorityQueue.mli
create mode 100644 src/Maps.ml
create mode 100644 src/Maps.mli
create mode 100644 src/MySet.ml
create mode 100644 src/MySet.mli
rename src/{packedIntArray.ml => PackedIntArray.ml} (90%)
rename src/{packedIntArray.mli => PackedIntArray.mli} (79%)
create mode 100644 src/Printers.ml
create mode 100644 src/Printers.mli
rename src/{rowDisplacement.ml => RowDisplacement.ml} (97%)
rename src/{rowDisplacement.mli => RowDisplacement.mli} (91%)
create mode 100644 src/StaticVersion.ml
create mode 100644 src/StaticVersion.mli
rename src/{tableFormat.ml => TableFormat.ml} (89%)
rename src/{tableInterpreter.ml => TableInterpreter.ml} (80%)
rename src/{tableInterpreter.mli => TableInterpreter.mli} (66%)
create mode 100755 src/astar.ml
create mode 100644 src/astar.mli
delete mode 100644 src/breadth.ml
delete mode 100644 src/breadth.mli
delete mode 100644 src/engine.ml
create mode 100644 src/fancyDriver.ml
create mode 100644 src/grammarFunctor.ml
rename src/{grammar.mli => grammarFunctor.mli} (72%)
create mode 100644 src/keywordExpansion.ml
create mode 100644 src/keywordExpansion.mli
delete mode 100644 src/nonpositiveCycles.ml
delete mode 100644 src/nonpositiveCycles.mli
create mode 100644 src/nonterminalType.ml
create mode 100644 src/nonterminalType.mli
create mode 100644 src/parserMessages.messages
delete mode 100644 src/preFront.ml
delete mode 100644 src/preFront.mli
delete mode 100644 src/reductionGraphs.ml
create mode 100644 src/resizableArray.ml
create mode 100644 src/resizableArray.mli
create mode 100644 src/segment.mll
create mode 100644 src/sentenceParserAux.ml
create mode 100644 src/unparameterizedSyntax.ml
delete mode 100644 src/unparameterizedSyntax.mli
create mode 100644 src/yaccDriver.ml
--
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
