Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / menhir
Commits:
-
5919378c
by Stephane Glondu at 2023-08-27T06:25:10+02:00
-
50993a90
by Stephane Glondu at 2023-08-27T06:25:14+02:00
-
3cc91d8e
by Stephane Glondu at 2023-08-27T06:25:37+02:00
30 changed files:
- − .gitlab-ci.yml
- LICENSE
- benchmarks/parsers/houblix/AST.ml
- − benchmarks/parsers/houblix/extPPrint.ml
- − benchmarks/parsers/houblix/mint.ml
- − benchmarks/parsers/houblix/mint.mli
- benchmarks/parsers/houblix/position.ml
- benchmarks/parsers/houblix/position.mli
- − benchmarks/parsers/houblix/prettyPrinter.ml
- + benchmarks/template/backends/06_new_code_O1_specialize_token.flags
- benchmarks/template/backends/TEMPLATE
- doc/Makefile
- doc/macros.tex
- doc/manual.tex
- doc/version.tex
- dune-project
- fix/AUTHORS.md
- fix/CHANGES.md
- + fix/src/Enum.ml
- + fix/src/Enum.mli
- fix/src/Indexing.ml
- fix/src/Indexing.mli
- + fix/src/Minimize.ml
- + fix/src/Minimize.mli
- + fix/src/Partition.ml
- + fix/src/Partition.mli
- fix/src/Vendored_fix.ml
- lib/LexerUtil.ml
- lib/LexerUtil.mli
- sdk/cmly_api.ml