package menhir

  1. Overview
  2. Docs
An LR(1) parser generator

Install

Dune Dependency

Authors

Maintainers

Sources

archive.tar.gz
md5=91aeae45fbf781e82ec3fe636be6ad49
sha512=4a7c4a72d4437940a0f62d402f783efcf357dde6f0a9e9f164c315148776e4642a822b6472f1e6e641164d110bc1ee05a6c1ad4a733f5defe4603b6072c1a34f

Description

Published: 23 Jan 2020

README

Menhir

Menhir is an LR(1) parser generator for OCaml.

Menhir has a home page.

Installation

The latest released version of Menhir can be easily installed via opam, OCaml's package manager. Just type opam install menhir.

For manual installation, see INSTALLATION.md.

Some instructions for developers can be found in HOWTO.md.

Authors

Contributors

  • Frédéric Bour (incremental engine, inspection API, attributes, SDK)

  • Jacques-Henri Jourdan (Coq back-end)

Dependencies (4)

  1. menhirSdk = version
  2. menhirLib = version
  3. dune >= "2.0.0"
  4. ocaml >= "4.02.3"

Dev Dependencies

None

  1. absolute >= "0.2"
  2. acgtk < "2.1.0"
  3. aifad >= "2.3.0"
  4. alba < "0.4.3"
  5. alt-ergo >= "2.0.0" & < "2.3.0" | >= "2.4.0"
  6. alt-ergo-free
  7. alt-ergo-parsers
  8. anders
  9. archetype
  10. arrakis
  11. asli
  12. atd
  13. bdd >= "0.5"
  14. binsec
  15. caper
  16. cca < "0.6.2"
  17. cfg >= "2.3.0"
  18. charrua-server
  19. coccinelle
  20. codept < "0.12.1"
  21. codept-lib
  22. coin < "0.1.4"
  23. dedukti
  24. diffast-core
  25. diffast-langs-cpp-parsing
  26. diffast-langs-fortran-parsing
  27. diffast-langs-java-parsing
  28. diffast-langs-python-parsing
  29. diffast-langs-verilog-parsing
  30. dkml-dune-dsl-show
  31. dolmen < "0.6"
  32. drom_toml
  33. dune >= "3.17.2"
  34. edn
  35. electrod
  36. electrumAnalyzer
  37. embedded_ocaml_templates < "0.8"
  38. erlang
  39. FrontC >= "4.0.0"
  40. forester != "2.1" & < "3.0.0"
  41. frama-c >= "27.0~beta"
  42. frama-c-luncov >= "0.2.1"
  43. fstar < "2025.02.17"
  44. gadelac
  45. gdbprofiler
  46. gobba
  47. gospel
  48. graphql_parser >= "0.9.0"
  49. gufo
  50. heptagon
  51. herdtools7 >= "7.55"
  52. inferno >= "20220603"
  53. jasmin
  54. jingoo >= "1.3.1"
  55. js_of_ocaml-compiler >= "3.7.1"
  56. js_of_ocaml-webgpu < "0.2"
  57. js_of_ocaml-webidl
  58. karamel
  59. kdl
  60. kind2
  61. kremlin < "transition"
  62. labrys
  63. libabsolute
  64. libsail < "0.18"
  65. libzipperposition
  66. links < "0.9.4"
  67. liquidsoap < "2.3.3"
  68. liquidsoap-lang < "2.3.0"
  69. logtk
  70. lp
  71. lreplay >= "0.1.1"
  72. lsp < "1.15.1-5.0"
  73. MlFront_Cli < "2.3.1"
  74. mazeppa
  75. mc2
  76. merlin < "4.14-500"
  77. minicaml
  78. minimal
  79. mopsa
  80. morbig < "0.11.0"
  81. msat = "0.8"
  82. mustache >= "3.1.0"
  83. netkat
  84. nice_parser
  85. nuscr
  86. obelisk
  87. obus >= "1.2.0"
  88. ocamlformat >= "0.14.0" & < "0.19.0"
  89. ocamlformat-rpc < "0.19.0"
  90. odate < "0.7"
  91. odds
  92. ollvm
  93. ollvm-tapir
  94. ometrics < "0.2.0"
  95. openQASM
  96. otoml
  97. ott >= "0.32"
  98. p4pp != "0.1.8"
  99. petr4
  100. pfff >= "0.40.4"
  101. phylogenetics
  102. ppx_pbt < "0.2.1"
  103. psmt2-frontend
  104. rdf < "0.12.0"
  105. reason
  106. rfsm
  107. runtime_events_tools >= "0.5.0"
  108. sail < "0.15"
  109. satex
  110. satyrographos >= "0.0.2.8"
  111. sgf
  112. shapefile
  113. sifun
  114. smtlib-utils
  115. solidity-parser
  116. sqlgg
  117. squirrel
  118. stog-writing
  119. swhid < "0.2"
  120. systemverilog
  121. talaria-bibtex
  122. tip-parser
  123. toml
  124. touist
  125. tptp
  126. uuuu < "0.3.0"
  127. wasm_of_ocaml-compiler
  128. wcs-lib >= "2017-05-26.02"
  129. webidl != "1.2"
  130. why3 >= "1.3.0" & < "1.8.0"
  131. wikitext
  132. zanuda
  133. zelus
  134. zipperposition

Conflicts

None

OCaml

Innovation. Community. Security.