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

Conflicts

None