Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / menhir
Commits: 9024baf9 by Stephane Glondu at 2025-09-09T16:02:35+02:00 New upstream version 20250903+ds - - - - - 2a2c6dc3 by Stephane Glondu at 2025-09-09T16:02:36+02:00 Update upstream source from tag 'upstream/20250903+ds' Update to upstream version '20250903+ds' with Debian dir 54770046d9be5da4fd425a7c3b7698b3f0afcdef - - - - - 1e4e191f by Stephane Glondu at 2025-09-09T16:02:55+02:00 New upstream release - - - - - 6ceae0b2 by Stephane Glondu at 2025-09-09T16:10:07+02:00 Prepare upload to unstable - - - - - 299 changed files: - debian/changelog - + demos/.gitignore - + demos/Makefile - + demos/Makefile.demo - + demos/README.md - + demos/calc-alias/Makefile - + demos/calc-alias/README.md - + demos/calc-alias/calc.exp - + demos/calc-alias/calc.in - + demos/calc-alias/calc.ml - + demos/calc-alias/dune - + demos/calc-alias/lexer.mll - + demos/calc-alias/parser.mly - + demos/calc-ast/Makefile - + demos/calc-ast/README.md - + demos/calc-ast/calc.exp - + demos/calc-ast/calc.in - + demos/calc-ast/calc.ml - + demos/calc-ast/dune - + demos/calc-ast/lexer.mll - + demos/calc-ast/parser.mly - + demos/calc-ast/syntax.ml - + demos/calc-incremental/Makefile - + demos/calc-incremental/README.md - + demos/calc-incremental/calc.exp - + demos/calc-incremental/calc.in - + demos/calc-incremental/calc.ml - + demos/calc-incremental/dune - + demos/calc-incremental/lexer.mll - + demos/calc-incremental/parser.mly - + demos/calc-inspection/CalcErrorReporting.ml - + demos/calc-inspection/CalcErrorReporting.mli - + demos/calc-inspection/CalcPrinters.ml - + demos/calc-inspection/CalcPrinters.mli - + demos/calc-inspection/ErrorReporting.ml - + demos/calc-inspection/ErrorReporting.mli - + demos/calc-inspection/Makefile - + demos/calc-inspection/README.md - + demos/calc-inspection/calc.exp - + demos/calc-inspection/calc.in - + demos/calc-inspection/calc.ml - + demos/calc-inspection/dune - + demos/calc-inspection/err1.exp - + demos/calc-inspection/err1.in - + demos/calc-inspection/err2.exp - + demos/calc-inspection/err2.in - + demos/calc-inspection/lexer.mll - + demos/calc-inspection/parser.ml.exp - + demos/calc-inspection/parser.mli.exp - + demos/calc-inspection/parser.mly - + demos/calc-mini/Makefile - + demos/calc-mini/Makefile.demo - + demos/calc-mini/README.md - + demos/calc-mini/calc.exp - + demos/calc-mini/calc.in - + demos/calc-mini/calc.ml - + demos/calc-mini/dune - + demos/calc-mini/lexer.mll - + demos/calc-mini/parser.ml.exp - + demos/calc-mini/parser.mli.exp - + demos/calc-mini/parser.mly - + demos/calc-new-syntax/Makefile - + demos/calc-new-syntax/README.md - + demos/calc-new-syntax/calc.exp - + demos/calc-new-syntax/calc.in - + demos/calc-new-syntax/calc.ml - + demos/calc-new-syntax/dune - + demos/calc-new-syntax/lexer.mll - + demos/calc-new-syntax/parser.ml.exp - + demos/calc-new-syntax/parser.mli.exp - + demos/calc-new-syntax/parser.mly - + demos/calc-param/Makefile - + demos/calc-param/README.md - + demos/calc-param/calc.exp - + demos/calc-param/calc.in - + demos/calc-param/calc.ml - + demos/calc-param/dune - + demos/calc-param/lexer.mll - + demos/calc-param/parser.mly - + demos/calc-param/tokens.mly - + demos/calc-stratified/Makefile - + demos/calc-stratified/Makefile.demo - + demos/calc-stratified/README.md - + demos/calc-stratified/calc.exp - + demos/calc-stratified/calc.in - + demos/calc-stratified/calc.ml - + demos/calc-stratified/dune - + demos/calc-stratified/lexer.mll - + demos/calc-stratified/parser.ml.exp - + demos/calc-stratified/parser.mli.exp - + demos/calc-stratified/parser.mly - + demos/calc-syntax-errors/.gitignore - + demos/calc-syntax-errors/Makefile - + demos/calc-syntax-errors/Makefile.messages.maintenance - + demos/calc-syntax-errors/README.md - + demos/calc-syntax-errors/calc.ml - + demos/calc-syntax-errors/calc00.exp - + demos/calc-syntax-errors/calc00.in - + demos/calc-syntax-errors/calc01.exp - + demos/calc-syntax-errors/calc01.in - + demos/calc-syntax-errors/calc02.exp - + demos/calc-syntax-errors/calc02.in - + demos/calc-syntax-errors/calc03.exp - + demos/calc-syntax-errors/calc03.in - + demos/calc-syntax-errors/calc04.exp - + demos/calc-syntax-errors/calc04.in - + demos/calc-syntax-errors/calc05.exp - + demos/calc-syntax-errors/calc05.in - + demos/calc-syntax-errors/calc06.exp - + demos/calc-syntax-errors/calc06.in - + demos/calc-syntax-errors/calc07.exp - + demos/calc-syntax-errors/calc07.in - + demos/calc-syntax-errors/dune - + demos/calc-syntax-errors/lexer.mll - + demos/calc-syntax-errors/parser.mly - + demos/calc-syntax-errors/parserMessages.messages - + demos/calc-two/Makefile - + demos/calc-two/README.md - + demos/calc-two/algebraic.exp - + demos/calc-two/algebraic.in - + demos/calc-two/algebraic.mly - + demos/calc-two/calc.exp - + demos/calc-two/calc.ml - + demos/calc-two/common.mly - + demos/calc-two/dune - + demos/calc-two/lexer.mll - + demos/calc-two/reverse.exp - + demos/calc-two/reverse.in - + demos/calc-two/reverse.mly - + demos/calc-two/tokens.mly - + demos/calc-unparsing-benchmark/Fix.ml - + demos/calc-unparsing-benchmark/Makefile - + demos/calc-unparsing-benchmark/README.md - + demos/calc-unparsing-benchmark/benchmark.txt - + demos/calc-unparsing-benchmark/dune - + demos/calc-unparsing-benchmark/main.ml - + demos/calc-unparsing-variant/AST2DCST.ml - + demos/calc-unparsing-variant/Makefile - + demos/calc-unparsing-variant/README.md - + demos/calc-unparsing-variant/dune - + demos/calc-unparsing-variant/parser.ml.exp - + demos/calc-unparsing-variant/parser.mli.exp - + demos/calc-unparsing-variant/parser.mly - + demos/calc-unparsing-variant/test00.exp - + demos/calc-unparsing-variant/test00.in - + demos/calc-unparsing-variant/test01.exp - + demos/calc-unparsing-variant/test01.in - + demos/calc-unparsing-variant/test02.exp - + demos/calc-unparsing-variant/test02.in - + demos/calc-unparsing/AST.ml - + demos/calc-unparsing/AST2DCST.ml - + demos/calc-unparsing/CST2Document.ml - + demos/calc-unparsing/CST2String.ml - + demos/calc-unparsing/Document.ml - + demos/calc-unparsing/Document.mli - + demos/calc-unparsing/Eval.ml - + demos/calc-unparsing/Makefile - + demos/calc-unparsing/PPrint.ml - + demos/calc-unparsing/README.md - + demos/calc-unparsing/calc.ml - + demos/calc-unparsing/dune - + demos/calc-unparsing/lexer.mll - + demos/calc-unparsing/parser.ml.exp - + demos/calc-unparsing/parser.mli.exp - + demos/calc-unparsing/parser.mly - + demos/calc-unparsing/test00.exp - + demos/calc-unparsing/test00.in - + demos/calc-unparsing/test01.exp - + demos/calc-unparsing/test01.in - + demos/calc-unparsing/test02.exp - + demos/calc-unparsing/test02.in - + demos/calc/Makefile - + demos/calc/README.md - + demos/calc/calc.exp - + demos/calc/calc.in - + demos/calc/calc.ml - + demos/calc/calc1.exp - + demos/calc/calc1.in - + demos/calc/dune - + demos/calc/lexer.mll - + demos/calc/parser.ml.exp - + demos/calc/parser.mli.exp - + demos/calc/parser.mly - + demos/coq-minicalc/.gitignore - + demos/coq-minicalc/Lexer.v - + demos/coq-minicalc/Makefile - + demos/coq-minicalc/MiniCalc.v - + demos/coq-minicalc/Parser.vy - + demos/coq-minicalc/README.md - + demos/coq-minicalc/_CoqProject - + demos/coq-syntax-errors/.gitignore - + demos/coq-syntax-errors/Extraction.v - + demos/coq-syntax-errors/Makefile - + demos/coq-syntax-errors/Makefile.messages.maintenance - + demos/coq-syntax-errors/Parser.vy - + demos/coq-syntax-errors/README.md - + demos/coq-syntax-errors/calc.ml - + demos/coq-syntax-errors/calc00.exp - + demos/coq-syntax-errors/calc00.in - + demos/coq-syntax-errors/calc01.exp - + demos/coq-syntax-errors/calc01.in - + demos/coq-syntax-errors/calc02.exp - + demos/coq-syntax-errors/calc02.in - + demos/coq-syntax-errors/calc03.exp - + demos/coq-syntax-errors/calc03.in - + demos/coq-syntax-errors/calc04.exp - + demos/coq-syntax-errors/calc04.in - + demos/coq-syntax-errors/calc05.exp - + demos/coq-syntax-errors/calc05.in - + demos/coq-syntax-errors/calc06.exp - + demos/coq-syntax-errors/calc06.in - + demos/coq-syntax-errors/calc07.exp - + demos/coq-syntax-errors/calc07.in - + demos/coq-syntax-errors/dune - + demos/coq-syntax-errors/extraction/.gitignore - + demos/coq-syntax-errors/lexer.mll - + demos/coq-syntax-errors/parserMessages.messages - + demos/generate-printers/Makefile - + demos/generate-printers/README.md - + demos/generate-printers/dune - + demos/generate-printers/generate.ml - + demos/generate-printers/parser.exp - + demos/ocamlbuild/README.md - + demos/ocamlbuild/calc-alias/.gitignore - + demos/ocamlbuild/calc-alias/Makefile - + demos/ocamlbuild/calc-alias/README.md - + demos/ocamlbuild/calc-alias/calc.ml - + demos/ocamlbuild/calc-alias/lexer.mll - + demos/ocamlbuild/calc-alias/parser.mly - + demos/ocamlbuild/calc-incremental/.gitignore - + demos/ocamlbuild/calc-incremental/Makefile - + demos/ocamlbuild/calc-incremental/README.md - + demos/ocamlbuild/calc-incremental/calc.ml - + demos/ocamlbuild/calc-incremental/lexer.mll - + demos/ocamlbuild/calc-incremental/parser.mly - + demos/ocamlbuild/calc-inspection/.gitignore - + demos/ocamlbuild/calc-inspection/CalcErrorReporting.ml - + demos/ocamlbuild/calc-inspection/CalcErrorReporting.mli - + demos/ocamlbuild/calc-inspection/CalcPrinters.ml - + demos/ocamlbuild/calc-inspection/CalcPrinters.mli - + demos/ocamlbuild/calc-inspection/ErrorReporting.ml - + demos/ocamlbuild/calc-inspection/ErrorReporting.mli - + demos/ocamlbuild/calc-inspection/Makefile - + demos/ocamlbuild/calc-inspection/README.md - + demos/ocamlbuild/calc-inspection/calc.ml - + demos/ocamlbuild/calc-inspection/lexer.mll - + demos/ocamlbuild/calc-inspection/parser.mly - + demos/ocamlbuild/calc-param/Makefile - + demos/ocamlbuild/calc-param/README.md - + demos/ocamlbuild/calc-param/_tags - + demos/ocamlbuild/calc-param/calc.ml - + demos/ocamlbuild/calc-param/lexer.mll - + demos/ocamlbuild/calc-param/myocamlbuild.ml - + demos/ocamlbuild/calc-param/parser.mly - + demos/ocamlbuild/calc-param/parser.mlypack - + demos/ocamlbuild/calc-param/tokens.mly - + demos/ocamlbuild/calc-param/tokens.mlypack - + demos/ocamlbuild/calc-two/Makefile - + demos/ocamlbuild/calc-two/README.md - + demos/ocamlbuild/calc-two/_tags - + demos/ocamlbuild/calc-two/algebraic.mly - + demos/ocamlbuild/calc-two/algebraic.mlypack - + demos/ocamlbuild/calc-two/calc.ml - + demos/ocamlbuild/calc-two/common.mly - + demos/ocamlbuild/calc-two/lexer.mll - + demos/ocamlbuild/calc-two/myocamlbuild.ml - + demos/ocamlbuild/calc-two/reverse.mly - + demos/ocamlbuild/calc-two/reverse.mlypack - + demos/ocamlbuild/calc-two/tokens.mly - + demos/ocamlbuild/calc-two/tokens.mlypack - + demos/ocamlbuild/calc/.gitignore - + demos/ocamlbuild/calc/Makefile - + demos/ocamlbuild/calc/README.md - + demos/ocamlbuild/calc/calc.ml - + demos/ocamlbuild/calc/lexer.mll - + demos/ocamlbuild/calc/parser.mly - + demos/ocamlbuild/myocamlbuild.ml - doc/version.tex - dune-project - lib/Engine.ml - lib/LexerUtil.ml - lib/LexerUtil.mli - lib/RowDisplacement.ml - lib/RowDisplacement.mli - src/AtomicBitSet.ml - src/AtomicBitSet.mli - + src/DenseBitVector.ml - + src/DenseBitVector.mli - + src/FastDisplacement.ml - + src/FastDisplacement.mli - src/LowIntegerPriorityQueue.ml - src/MList.ml - src/MList.mli - src/SparseBitSet.ml - src/SparseBitSet.mli - src/StackLang/StackLangCheck.ml - src/settings.ml - src/settings.mli - src/tableBackend.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/compare/97db6d92601f4d0daf01ba872d8709d3778ef69c...6ceae0b2a0469ad369dc69cbb46dab4e96699091 -- View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/compare/97db6d92601f4d0daf01ba872d8709d3778ef69c...6ceae0b2a0469ad369dc69cbb46dab4e96699091 You're receiving this email because of your account on salsa.debian.org.
