[Pkg-ocaml-maint-commits] [menhir] branch master updated (f74e5a6 -> 3163380)
Ralf Treinen
treinen at moszumanska.debian.org
Mon Jun 19 20:19:40 UTC 2017
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
More information about the Pkg-ocaml-maint-commits
mailing list