package menhir

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

Install

Dune Dependency

Authors

Maintainers

Sources

archive.tar.gz
md5=d39a8943fe1be28199e5ec1f4133504c
sha512=4f933cfc9026f5f2ffda9b0e626862560a233c35ecf097d179edd926d9009bdf46b6611294aea02b63c34427348568f37376a033fbe8cf98a7746fa6f1354dbd

Description

Published: 16 Jul 2024

Dependencies (5)

  1. menhirCST = version
  2. menhirSdk = version
  3. menhirLib = version
  4. dune >= "2.8.0"
  5. ocaml >= "4.03.0"

Dev Dependencies

None

  1. abella >= "2.0.8"
  2. absolute >= "0.2"
  3. acgtk != "1.5.1"
  4. aifad >= "2.3.0"
  5. alba
  6. alonzo
  7. alt-ergo >= "2.4.2"
  8. alt-ergo-parsers >= "2.4.0"
  9. anders
  10. archetype
  11. arrakis
  12. asli
  13. atd >= "2.3.3"
  14. bdd >= "0.5"
  15. binsec >= "0.5.0"
  16. bnfgen
  17. cairn
  18. caper
  19. catala >= "0.3.0"
  20. catt
  21. cca
  22. cfg >= "2.3.0"
  23. cfml
  24. charrua-core
  25. charrua-server
  26. coccinelle >= "1.0.9"
  27. codept < "0.12.1"
  28. codept-lib
  29. coq-lsp >= "0.1.5+8.16"
  30. cosovo
  31. css-parser
  32. dedukti
  33. diffast-core
  34. diffast-langs-cpp-parsing
  35. diffast-langs-fortran-parsing
  36. diffast-langs-java-parsing
  37. diffast-langs-python-parsing
  38. diffast-langs-verilog-parsing
  39. dirsp-ps2ocaml
  40. dkml-dune-dsl-show
  41. dolmen
  42. drom_toml
  43. dune >= "3.17.0"
  44. earlybird
  45. edn >= "0.2.0"
  46. electrod >= "0.6.2"
  47. electrumAnalyzer
  48. elpi >= "1.15.0"
  49. embedded_ocaml_templates < "0.8"
  50. encoding
  51. erlang
  52. FrontC >= "4.0.0"
  53. forester
  54. frama-c >= "27.0~beta"
  55. frama-c-luncov >= "0.2.1"
  56. frenetic
  57. fsml < "0.3.0"
  58. fstar
  59. gadelac
  60. gdbprofiler
  61. gobba
  62. gospel
  63. graphql_parser >= "0.9.0"
  64. gufo
  65. hardcaml-lua
  66. heptagon
  67. herdtools7 >= "7.55"
  68. highlexer
  69. http-date
  70. inferno >= "20220603"
  71. jasmin
  72. jingoo >= "1.3.1"
  73. js_of_ocaml-compiler >= "4.0.0"
  74. js_of_ocaml-webgpu < "0.2"
  75. karamel
  76. kdl
  77. kind2 >= "1.6.0"
  78. kremlin < "transition"
  79. lambda
  80. lambdapi >= "2.1.0"
  81. libabsolute
  82. libsail
  83. libzipperposition
  84. links
  85. liquidsoap >= "2.1.0-1" & < "2.2.0"
  86. liquidsoap-lang
  87. lp
  88. lreplay >= "0.1.1"
  89. lsp < "1.8.0" | >= "1.11.3" & < "1.15.0-4.14"
  90. lua_parser >= "1.0.2"
  91. MlFront_Cli < "2.3.1"
  92. mazeppa
  93. melange >= "1.0.0"
  94. melange-compiler-libs
  95. merlin >= "3.5.0" & != "4.6-414" & < "4.7-414"
  96. merlin-lib
  97. minicaml
  98. mopsa
  99. morbig
  100. msat = "0.8"
  101. mustache >= "3.1.0"
  102. netkat
  103. nice_parser
  104. nuscr != "2.0.0"
  105. obelisk
  106. obus >= "1.2.0"
  107. ocaml-lsp-server < "1.2.0"
  108. ocamlformat >= "0.14.0" & < "0.25.1"
  109. ocamlformat-lib
  110. ocamlformat-mlx-lib
  111. ocamlformat-rpc < "0.21.0"
  112. ocamlmig
  113. odate >= "0.7"
  114. odds
  115. ometrics < "0.2.0"
  116. opam-file-format >= "2.2.0~alpha1"
  117. openQASM
  118. optal
  119. otoml
  120. ott >= "0.32"
  121. owi
  122. p4pp >= "0.1.11"
  123. p5scm
  124. pa_ppx_q_ast >= "0.11"
  125. passage
  126. petr4
  127. phylogenetics
  128. plist-xml >= "0.4.0"
  129. ppx_open
  130. ppx_pbt
  131. ppx_pyformat
  132. psmt2-frontend >= "0.3.0"
  133. pyast
  134. rdf
  135. reason
  136. res_tailwindcss
  137. rfsm >= "2.0"
  138. runtime_events_tools >= "0.5.0"
  139. satex
  140. satyrographos >= "0.0.2.8"
  141. scfg
  142. sherlodoc
  143. sifun
  144. smtlib-utils >= "0.4"
  145. smtml
  146. solidity-parser
  147. sqlgg >= "20231201"
  148. squirrel
  149. stog >= "0.20.0"
  150. stog-writing < "0.19.0"
  151. styled-ppx
  152. swhid < "0.2"
  153. talaria-bibtex
  154. toml >= "7.1.0"
  155. touist
  156. tptp
  157. trs
  158. wasm >= "2.0.2"
  159. wasm_of_ocaml-compiler
  160. wcs-lib >= "2017-05-26.02"
  161. webidl < "1.2"
  162. why3 >= "1.3.0"
  163. wikitext >= "3.0.1"
  164. zanuda
  165. zelus
  166. zipperposition < "1.6"

Conflicts

None

OCaml

Innovation. Community. Security.