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. odate < "0.7"
  91. odds
  92. ollvm
  93. ollvm-tapir
  94. ometrics < "0.2.0"
  95. openQASM
  96. otoml
  97. ott >= "0.32"
  98. p4pp != "0.1.8"
  99. pfff
  100. phylogenetics
  101. ppx_pbt < "0.2.1"
  102. psmt2-frontend
  103. reason
  104. rfsm
  105. runtime_events_tools >= "0.5.0"
  106. sail < "0.15"
  107. satex
  108. satyrographos >= "0.0.2.8"
  109. sgf
  110. shapefile
  111. sifun
  112. smtlib-utils
  113. solidity-parser
  114. sqlgg
  115. squirrel
  116. stog-writing
  117. swhid < "0.2"
  118. systemverilog
  119. talaria-bibtex
  120. tip-parser
  121. toml
  122. touist
  123. tptp
  124. uuuu < "0.3.0"
  125. wasm_of_ocaml-compiler
  126. wcs-lib >= "2017-05-26.02"
  127. webidl != "1.2"
  128. why3 >= "1.3.0" & < "1.8.0"
  129. wikitext
  130. zanuda
  131. zelus
  132. zipperposition

Conflicts

None