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

Conflicts

None

OCaml

Innovation. Community. Security.