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

Conflicts

None

OCaml

Innovation. Community. Security.