[Git][ocaml-team/menhir][upstream] New upstream version 20250903+ds

[Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>]

Title: GitLab

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / menhir

Commits:

• 9024baf9
  by Stephane Glondu at 2025-09-09T16:02:35+02:00

  New upstream version 20250903+ds

298 changed files:

• + 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.
You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help Notification message regarding https://salsa.debian.org/ocaml-team/menhir/-/commit/9024baf9b7782b7e010a43cfe455b07a9777ce64 at 1757427087