This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository menhir.
from f74e5a6 Prepare upload to unstable new 6f9a81c New upstream version 20170607.dfsg new 4a44d8c Merge tag 'upstream/20170607.dfsg' new b1641d0 new upstream version new 53c6d84 drop debian/README.source new 1451f04 simplify purify_tarball new b955668 uploader Ralf Treinen new 18f1b00 refresh patch 0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte new a9b3e2e purify_tarball generates version +dfsg new 3163380 as-installed package test 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: AUTHORS | 3 - CHANGES | 465 --------------- CHANGES.md | 655 +++++++++++++++++++++ INSTALLATION | 46 -- INSTALLATION.md | 47 ++ LICENSE | 416 ++++++++++--- Makefile | 39 +- README.md | 24 + debian/README.source | 12 - debian/changelog | 13 + debian/control | 3 +- ...yte-plugin-to-ocamlbuild-when-TARGET-byte.patch | 12 +- debian/purify_tarball | 5 +- debian/tests/calc/.merlin | 1 + {demos => debian/tests}/calc/README | 2 + {demos => debian/tests}/calc/calc.ml | 0 .../tests/calc}/lexer.mll | 0 .../tests/calc}/parser.mly | 0 debian/tests/calcdemo | 18 + debian/tests/control | 2 + demos/Makefile | 23 +- demos/calc-incremental/.merlin | 2 + demos/calc-inspection/.merlin | 2 + demos/calc-inspection/ErrorReporting.ml | 7 +- demos/calc-inspection/calc.ml | 5 +- demos/calc-param/.merlin | 1 + demos/calc-two/.merlin | 1 + demos/calc/.merlin | 1 + demos/generate-printers/.merlin | 1 + demos/generate-printers/Makefile | 26 + demos/generate-printers/README.md | 22 + demos/generate-printers/_tags | 5 + demos/generate-printers/generate.ml | 173 ++++++ src/Boolean.ml | 13 + src/Boolean.mli | 13 + src/Convert.ml | 25 +- src/Convert.mli | 25 +- src/DependencyGraph.ml | 13 + src/DependencyGraph.mli | 13 + src/Driver.mli | 13 + src/Engine.ml | 323 ++++++---- src/Engine.mli | 43 +- src/EngineTypes.ml | 62 +- src/ErrorReports.ml | 78 +++ src/ErrorReports.mli | 43 ++ src/Fix.ml | 26 +- src/Fix.mli | 24 +- src/FixSolver.ml | 13 + src/FixSolver.mli | 13 + src/General.ml | 25 +- src/General.mli | 29 +- src/IL.mli | 13 + src/IO.ml | 13 + src/IO.mli | 13 + src/IncrementalEngine.ml | 207 +++++-- src/InfiniteArray.ml | 25 +- src/InfiniteArray.mli | 25 +- src/InputFile.ml | 105 ++++ src/InputFile.mli | 63 ++ src/InspectionTableFormat.ml | 25 +- src/InspectionTableInterpreter.ml | 186 ++++-- src/InspectionTableInterpreter.mli | 46 +- src/LRijkstra.ml | 24 +- src/LRijkstra.mli | 13 + src/LinearizedArray.ml | 25 +- src/LinearizedArray.mli | 25 +- src/LowIntegerPriorityQueue.ml | 13 + src/LowIntegerPriorityQueue.mli | 13 + src/META | 6 +- src/Makefile | 80 +-- src/Maps.ml | 13 + src/Maps.mli | 13 + src/MySet.ml | 13 + src/MySet.mli | 13 + src/PackedIntArray.ml | 25 +- src/PackedIntArray.mli | 25 +- src/Printers.ml | 57 +- src/Printers.mli | 32 +- src/RowDisplacement.ml | 28 +- src/RowDisplacement.mli | 25 +- src/StaticVersion.ml | 2 +- src/StaticVersion.mli | 2 +- src/TableFormat.ml | 28 +- src/TableInterpreter.ml | 120 +++- src/TableInterpreter.mli | 46 +- src/_tags | 15 +- src/action.ml | 21 +- src/action.mli | 16 +- src/anonymous.ml | 26 +- src/anonymous.mli | 13 + src/astar.ml | 13 + src/astar.mli | 13 + src/back.ml | 46 +- src/back.mli | 13 + src/checkOCamlVersion.ml | 19 +- src/cmly_api.ml | 142 +++++ src/cmly_format.ml | 112 ++++ src/cmly_read.ml | 340 +++++++++++ src/cmly_read.mli | 21 + src/cmly_write.ml | 173 ++++++ src/cmly_write.mli | 19 + src/codeBackend.ml | 31 +- src/codeBackend.mli | 13 + src/codeBits.ml | 33 ++ src/codeBits.mli | 19 + src/codePieces.ml | 19 +- src/codePieces.mli | 13 + src/compressedBitSet.ml | 13 + src/compressedBitSet.mli | 13 + src/conflict.ml | 13 + src/conflict.mli | 13 + src/coqBackend.ml | 23 +- src/coqBackend.mli | 13 + src/cst.ml | 13 + src/cst.mli | 13 + src/default.ml | 85 +++ src/default.mli | 19 + src/derivation.ml | 13 + src/derivation.mli | 13 + src/dot.ml | 13 + src/dot.mli | 13 + src/error.ml | 55 +- src/error.mli | 35 +- src/fancy-parser.mly | 53 +- src/fancyDriver.ml | 81 +-- src/front.ml | 32 +- src/front.mli | 13 + src/gMap.ml | 13 + src/gSet.ml | 13 + src/grammar.ml | 13 + src/grammarFunctor.ml | 74 ++- src/grammarFunctor.mli | 51 +- src/infer.ml | 21 +- src/infer.mli | 13 + src/inliner.ml | 13 + src/inliner.mli | 13 + src/installation.ml | 2 - src/installation.mli | 13 + src/interface.ml | 17 +- src/interface.mli | 13 + src/interpret.ml | 17 +- src/interpret.mli | 13 + src/invariant.ml | 154 +---- src/invariant.mli | 43 +- src/item.ml | 13 + src/item.mli | 13 + src/keyword.ml | 13 + src/keyword.mli | 24 +- src/keywordExpansion.ml | 22 +- src/keywordExpansion.mli | 13 + src/lexdep.mll | 13 + src/lexer.mll | 105 +++- src/lexmli.mll | 13 + src/lineCount.mll | 13 + src/listMonad.ml | 13 + src/listMonad.mli | 13 + src/lookahead.mli | 13 + src/lr0.ml | 18 +- src/lr0.mli | 13 + src/lr1.ml | 104 +++- src/lr1.mli | 21 + src/lr1partial.ml | 13 + src/lr1partial.mli | 13 + src/mark.ml | 13 + src/mark.mli | 13 + src/menhir.ml | 13 + src/{META => menhirLib.META} | 1 - src/menhirLib.mlpack | 1 + src/menhirSdk.META | 4 + src/menhirSdk.mlpack | 6 + src/misc.ml | 38 ++ src/misc.mli | 24 + src/myocamlbuild.ml | 47 +- src/nonTerminalDefinitionInlining.ml | 105 ++-- src/nonTerminalDefinitionInlining.mli | 13 + src/nonterminalType.ml | 13 + src/nonterminalType.mli | 13 + src/option.ml | 13 + src/option.mli | 13 + src/parameterizedGrammar.ml | 373 +++++++----- src/parameterizedGrammar.mli | 13 + src/parameters.ml | 21 + src/parserAux.ml | 94 ++- src/parserAux.mli | 46 +- src/parserMessages.messages | 142 +++-- src/partialGrammar.ml | 180 +++--- src/partialGrammar.mli | 13 + src/patricia.ml | 13 + src/patricia.mli | 13 + src/positions.ml | 15 +- src/positions.mli | 15 +- src/pprint.ml | 13 + src/pprint.mli | 13 + src/printer.ml | 112 +++- src/printer.mli | 38 +- src/rawPrinter.ml | 13 + src/rawPrinter.mli | 13 + src/reachability.ml | 17 +- src/reachability.mli | 13 + src/referenceInterpreter.ml | 53 +- src/referenceInterpreter.mli | 13 + src/resizableArray.ml | 13 + src/resizableArray.mli | 13 + src/segment.mll | 13 + src/sentenceLexer.mll | 13 + src/sentenceParser.mly | 13 + src/sentenceParserAux.ml | 13 + src/settings.ml | 56 +- src/settings.mli | 21 +- src/slr.ml | 13 + src/slr.mli | 13 + src/standard.mly | 25 +- src/stretch.mli | 16 +- src/stringMap.ml | 13 + src/stringMap.mli | 13 + src/stringSet.ml | 13 + src/stringSet.mli | 13 + src/syntax.mli | 77 ++- src/tableBackend.ml | 133 +++-- src/tableBackend.mli | 13 + src/tarjan.ml | 13 + src/tarjan.mli | 13 + src/time.ml | 13 + src/time.mli | 13 + src/tokenType.ml | 13 + src/tokenType.mli | 13 + src/traverse.ml | 13 + src/unionFind.ml | 13 + src/unionFind.mli | 13 + src/unparameterizedPrinter.ml | 566 ++++++++++++------ src/unparameterizedPrinter.mli | 13 + src/unparameterizedSyntax.ml | 141 +++-- src/version.ml | 2 +- src/yacc-parser.mly | 61 +- src/yaccDriver.ml | 13 + 235 files changed, 7411 insertions(+), 2381 deletions(-) delete mode 100644 AUTHORS delete mode 100644 CHANGES create mode 100644 CHANGES.md delete mode 100644 INSTALLATION create mode 100644 INSTALLATION.md create mode 100644 README.md delete mode 100644 debian/README.source create mode 100644 debian/tests/calc/.merlin copy {demos => debian/tests}/calc/README (86%) copy {demos => debian/tests}/calc/calc.ml (100%) copy {demos/calc-incremental => debian/tests/calc}/lexer.mll (100%) copy {demos/calc-incremental => debian/tests/calc}/parser.mly (100%) create mode 100755 debian/tests/calcdemo create mode 100644 debian/tests/control create mode 100644 demos/calc-incremental/.merlin create mode 100644 demos/calc-inspection/.merlin create mode 100644 demos/calc-param/.merlin create mode 100644 demos/calc-two/.merlin create mode 100644 demos/calc/.merlin create mode 100644 demos/generate-printers/.merlin create mode 100644 demos/generate-printers/Makefile create mode 100644 demos/generate-printers/README.md create mode 100644 demos/generate-printers/_tags create mode 100644 demos/generate-printers/generate.ml create mode 100644 src/ErrorReports.ml create mode 100644 src/ErrorReports.mli create mode 100644 src/InputFile.ml create mode 100644 src/InputFile.mli create mode 100644 src/cmly_api.ml create mode 100644 src/cmly_format.ml create mode 100644 src/cmly_read.ml create mode 100644 src/cmly_read.mli create mode 100644 src/cmly_write.ml create mode 100644 src/cmly_write.mli create mode 100644 src/default.ml create mode 100644 src/default.mli delete mode 100644 src/installation.ml copy src/{META => menhirLib.META} (87%) create mode 100644 src/menhirSdk.META create mode 100644 src/menhirSdk.mlpack -- 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