package menhir

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

Install 

dune-project
 Dependency

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

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 < "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. huml
  53. inferno >= "20220603"
  54. jasmin
  55. jingoo >= "1.3.1"
  56. js_of_ocaml-compiler >= "3.7.1"
  57. js_of_ocaml-webgpu < "0.2"
  58. js_of_ocaml-webidl
  59. karamel
  60. kdl
  61. kind2
  62. kremlin < "transition"
  63. labrys
  64. libabsolute
  65. libsail < "0.18"
  66. libzipperposition
  67. links < "0.9.4"
  68. liquidsoap < "2.3.3"
  69. liquidsoap-lang < "2.3.0"
  70. logtk
  71. lp
  72. lreplay >= "0.1.1"
  73. lsp < "1.15.1-5.0"
  74. MlFront_Cli < "2.3.1"
  75. mazeppa
  76. mc2
  77. merlin < "4.14-500"
  78. minicaml
  79. minimal
  80. mopsa < "1.2"
  81. morbig < "0.11.0"
  82. msat = "0.8"
  83. mustache >= "3.1.0"
  84. netkat
  85. nice_parser
  86. nuscr
  87. obelisk
  88. obus >= "1.2.0"
  89. ocamlformat >= "0.14.0" & < "0.19.0"
  90. ocamlformat-rpc < "0.19.0"
  91. odate < "0.7"
  92. odds
  93. ollvm
  94. ollvm-tapir
  95. ometrics < "0.2.0"
  96. openQASM
  97. otoml
  98. ott >= "0.32"
  99. p4pp != "0.1.8"
  100. petr4
  101. pfff >= "0.40.4"
  102. phylogenetics
  103. ppx_pbt < "0.2.1"
  104. psmt2-frontend
  105. rdf < "0.12.0"
  106. reason
  107. rfsm
  108. runtime_events_tools >= "0.5.0"
  109. sail < "0.15"
  110. satex
  111. satyrographos >= "0.0.2.8"
  112. sgf
  113. shapefile
  114. sifun
  115. smtlib-utils
  116. solidity-parser
  117. sqlgg
  118. squirrel
  119. stog-writing
  120. swhid < "0.2"
  121. systemverilog
  122. talaria-bibtex
  123. tip-parser
  124. toml
  125. touist
  126. tptp
  127. uuuu < "0.3.0"
  128. wasm_of_ocaml-compiler
  129. wcs-lib >= "2017-05-26.02"
  130. webidl != "1.2"
  131. why3 >= "1.3.0" & < "1.8.0"
  132. wikitext
  133. zanuda
  134. zelus
  135. zipperposition

Conflicts

None