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

Conflicts

None

OCaml

Innovation. Community. Security.