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
-
2a2c6dc3
by Stephane Glondu at 2025-09-09T16:02:36+02:00
-
1e4e191f
by Stephane Glondu at 2025-09-09T16:02:55+02:00
-
6ceae0b2
by Stephane Glondu at 2025-09-09T16:10:07+02:00
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