package menhir

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

Install

Dune Dependency

gitlab.inria.fr Readme Changelog License Edit opam file Versions (61)

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>
  2. Y
    Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

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 >= "1.5.0" & < "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 < "2.3.3"
  7. alt-ergo-parsers
  8. alt-ergo-parsers-free
  9. anders
  10. archetype
  11. arrakis
  12. asli
  13. atd
  14. bamboo < "0.0.02"
  15. batsh < "0.0.5"
  16. binsec
  17. bnfgen < "3.1.0"
  18. caper
  19. caradoc
  20. cca < "0.6.2"
  21. ccss
  22. cfg < "2.1.0" | >= "2.3.0"
  23. charrua-core
  24. charrua-server
  25. coccinelle >= "1.0.8"
  26. codept >= "0.10.3"
  27. coin < "0.1.4"
  28. combine >= "0.42"
  29. DrawGrammar
  30. dedukti
  31. dkml-dune-dsl-show
  32. doc-ock-xml
  33. dolmen < "0.6"
  34. drom_toml
  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. fstar >= "0.9.5.0"
  45. gadelac
  46. gdb
  47. gdbprofiler
  48. genet != "0.2"
  49. gobba
  50. gospel
  51. graphql_parser >= "0.9.0"
  52. gufo
  53. heptagon >= "1.01.00"
  54. herdtools7 >= "7.55"
  55. imaplet-lwt
  56. inferno >= "20220603"
  57. jasmin
  58. jingoo >= "1.3.1"
  59. js_of_ocaml >= "1.4.0" & < "3.0"
  60. js_of_ocaml-compiler >= "3.7.0"
  61. js_of_ocaml-webgpu < "0.2"
  62. js_of_ocaml-webidl
  63. karamel
  64. kdl
  65. kind2
  66. kremlin < "transition"
  67. labrys
  68. lambdapi < "2.0.0"
  69. lambdoc
  70. libabsolute
  71. libsail
  72. libzipperposition
  73. lilis
  74. links >= "0.9" & < "0.9.4"
  75. liquidsoap >= "1.4.0" & < "2.2.0"
  76. liquidsoap-lang
  77. logtk >= "1.5.1"
  78. lp
  79. lsp < "1.8.0" | >= "1.11.3" & < "1.12.1"
  80. mc2
  81. merlin < "2.0.0" | >= "3.5.0" & < "4.6-414" | >= "4.7-412" & < "4.7-414"
  82. merlin-lib < "4.8~5.1preview"
  83. mezzo
  84. minicaml
  85. minimal
  86. modelica_ml
  87. morbig < "0.11.0"
  88. msat = "0.8"
  89. mustache >= "3.0.0"
  90. netkat
  91. nice_parser
  92. nuscr
  93. obelisk
  94. obrowser
  95. obus >= "1.2.0"
  96. ocaml-lsp-server < "1.2.0"
  97. ocaml-r < "0.1.0"
  98. ocamlformat >= "0.14.0" & < "0.19.0~4.13preview"
  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. profound
  114. psmt2-frontend
  115. rdf >= "0.6.0" & < "0.12.0"
  116. reason >= "3.3.5"
  117. relit-reason
  118. rfsm
  119. runtime_events_tools >= "0.5.0"
  120. sail < "0.15"
  121. satex
  122. satyrographos >= "0.0.2.8"
  123. sgf
  124. shapefile
  125. sibylfs
  126. sifun
  127. smbc < "0.4.2"
  128. smtlib-utils
  129. sociaml-vcard
  130. solidity-parser
  131. sqlgg
  132. squirrel
  133. stog-writing
  134. swhid < "0.2"
  135. systemverilog
  136. talaria-bibtex
  137. tip-parser
  138. toml
  139. touist
  140. tptp >= "0.3.1"
  141. uuuu < "0.3.0"
  142. wcs-lib >= "2017-05-26.02"
  143. webidl != "1.2"
  144. why3 >= "1.3.0"
  145. why3-base >= "0.86.3"
  146. wikitext
  147. zanuda
  148. zelus
  149. zephyrus
  150. zipperposition >= "1.1"

Conflicts

None