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

Conflicts

None