package menhir

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

Install

Dune Dependency

Authors

Maintainers

Sources

archive.tar.gz
md5=01577e5f15380c35bdaa8fd818204560
sha512=a686c4b047d5236c425afcd7f179964191268ff448b8d18510579d742a7256855049bc4fe568bb8f1b0d6cbfb758d95cd05e621e3410b75245bb799d623725d6

Description

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

Conflicts

None

OCaml

Innovation. Community. Security.