package menhir

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

Install 

dune-project
 Dependency

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

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 < "5.0.0"
  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. embedded_ocaml_templates < "0.8"
  37. erlang
  38. FrontC >= "4.0.0"
  39. forester != "2.1" & < "3.0.0"
  40. frama-c >= "27.0~beta"
  41. frama-c-luncov >= "0.2.1"
  42. fstar < "2025.02.17"
  43. gadelac
  44. gdbprofiler
  45. gobba
  46. gospel
  47. graphql_parser >= "0.9.0"
  48. gufo
  49. heptagon
  50. herdtools7 >= "7.55"
  51. huml
  52. inferno >= "20220603"
  53. jasmin
  54. jingoo >= "1.3.1"
  55. js_of_ocaml-compiler
  56. js_of_ocaml-webgpu < "0.2"
  57. js_of_ocaml-webidl
  58. karamel
  59. kdl
  60. kind2
  61. kremlin < "transition"
  62. libabsolute
  63. libsail < "0.18"
  64. libzipperposition
  65. links < "0.9.4"
  66. liquidsoap < "2.3.3"
  67. liquidsoap-lang < "2.3.0"
  68. logtk
  69. lp
  70. lreplay >= "0.1.1"
  71. lsp < "1.15.1-5.0"
  72. MlFront_Cli < "2.3.1"
  73. MlFront_Lua
  74. mazeppa
  75. mc2
  76. merlin < "4.14-500"
  77. minicaml
  78. minimal
  79. mopsa < "1.2"
  80. morbig < "0.11.0"
  81. msat = "0.8"
  82. mustache >= "3.1.0"
  83. netkat
  84. nice_parser
  85. nuscr
  86. obelisk
  87. obus >= "1.2.1"
  88. ocamlformat < "0.19.0"
  89. ocamlformat-rpc < "0.19.0"
  90. ocamlgrep
  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. pfff
  101. phylogenetics
  102. ppx_pbt < "0.2.1"
  103. psmt2-frontend
  104. reason
  105. rfsm
  106. runtime_events_tools >= "0.5.0"
  107. sail < "0.15"
  108. satex
  109. satyrographos >= "0.0.2.8"
  110. sgf
  111. shapefile
  112. sifun
  113. smtlib-utils
  114. solidity-parser
  115. sqlgg
  116. squirrel
  117. stog-writing
  118. swhid < "0.2"
  119. systemverilog
  120. talaria-bibtex
  121. tip-parser
  122. toml
  123. touist
  124. tptp
  125. uuuu < "0.3.0"
  126. wasm_of_ocaml-compiler
  127. wcs-lib >= "2017-05-26.02"
  128. webidl != "1.2"
  129. why3 >= "1.3.0" & < "1.8.0"
  130. wikitext
  131. zanuda
  132. zelus
  133. zipperposition

Conflicts

None