package menhir

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

Install

gitlab.inria.fr GPL-2.0-only License Edit opam file

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=7c4b51e1b666711af04f7832ebc90618
sha512=aa8a34c173d9a82d3503919de8377f1b8c9ff721882486f0b5ae2bdb9b22ee7f5ba8f6ef25e00fbb35704fac9fc3bda71908512ed4cbd345d9dc29d6ede149b2

Description

Published: 17 Apr 2023

Dependencies (4)

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

Dev Dependencies

None

  1. absolute >= "0.2"
  2. acgtk = "1.5.0" | >= "1.5.2"
  3. aifad >= "2.3.0"
  4. alba
  5. alonzo
  6. alt-ergo >= "2.4.2"
  7. alt-ergo-parsers >= "2.4.0"
  8. anders
  9. archetype
  10. asli
  11. atd >= "2.3.3"
  12. bamboo < "0.0.02"
  13. batsh < "0.0.5"
  14. binsec < "0.4.0" | >= "0.5.0"
  15. bnfgen
  16. caradoc
  17. catala >= "0.3.0"
  18. cca
  19. ccss
  20. cfg < "2.1.0" | >= "2.3.0"
  21. cfml
  22. charrua-core
  23. charrua-server
  24. coccinelle >= "1.0.9"
  25. codept >= "0.10.3"
  26. combine >= "0.42"
  27. coq-lsp >= "0.1.5+8.16"
  28. cosovo
  29. css-parser
  30. DrawGrammar
  31. dedukti
  32. dirsp-ps2ocaml
  33. dkml-dune-dsl-show
  34. doc-ock-xml
  35. dolmen
  36. drom_toml
  37. earlybird >= "1.0.0"
  38. edn != "0.1.6-1-gff9db95"
  39. electrod >= "0.6.2"
  40. electrumAnalyzer
  41. elpi >= "1.15.0"
  42. embedded_ocaml_templates < "0.8"
  43. erlang
  44. FrontC >= "4.0.0"
  45. forester
  46. frama-c >= "27.0~beta"
  47. frenetic >= "5.0.5"
  48. fsml < "0.3.0"
  49. fstar >= "0.9.5.0"
  50. gadelac
  51. gdb
  52. gdbprofiler
  53. genet != "0.2"
  54. gobba
  55. gospel
  56. graphql_parser >= "0.9.0"
  57. gufo
  58. heptagon >= "1.01.00"
  59. herdtools7 >= "7.55"
  60. http-date
  61. imaplet-lwt
  62. inferno >= "20220603"
  63. jasmin
  64. jingoo >= "1.3.1"
  65. js_of_ocaml-compiler >= "4.0.0"
  66. js_of_ocaml-webgpu < "0.2"
  67. karamel
  68. kdl
  69. kind2 >= "1.6.0"
  70. kremlin < "transition"
  71. lambda
  72. lambdapi != "2.0.0"
  73. lambdoc
  74. libabsolute
  75. libsail
  76. libzipperposition
  77. lilis
  78. links >= "0.9"
  79. liquidsoap >= "2.1.0" & < "2.2.0"
  80. liquidsoap-lang
  81. lp
  82. lsp < "1.8.0" | >= "1.11.3" & < "1.15.0-4.14"
  83. lua_parser >= "1.0.1"
  84. melange >= "1.0.0"
  85. melange-compiler-libs
  86. merlin < "2.0.0" | >= "3.5.0" & < "4.6-414" | >= "4.7-412" & < "4.7-414"
  87. merlin-lib
  88. mezzo
  89. minicaml
  90. minimal >= "1.1.0"
  91. modelica_ml
  92. morbig
  93. msat = "0.8"
  94. mustache >= "3.0.0"
  95. netkat
  96. nice_parser
  97. nuscr != "2.0.0"
  98. obelisk
  99. obrowser
  100. obus >= "1.2.0"
  101. ocaml-lsp-server < "1.2.0"
  102. ocaml-r < "0.1.0"
  103. ocamlformat >= "0.14.0" & < "0.25.1"
  104. ocamlformat-lib
  105. ocamlformat-rpc < "0.21.0"
  106. odate < "0.6"
  107. odds
  108. ometrics < "0.2.0"
  109. openQASM
  110. optal
  111. otoml
  112. ott >= "0.32"
  113. owi
  114. p4pp >= "0.1.11"
  115. p5scm
  116. pa_ppx_q_ast >= "0.11"
  117. petr4
  118. phylogenetics
  119. plist-xml >= "0.4.0"
  120. ppx_open
  121. ppx_pbt
  122. ppx_pyformat
  123. profound
  124. psmt2-frontend >= "0.3.0"
  125. pyast
  126. rdf >= "0.7.0"
  127. reason >= "3.3.5"
  128. relit-reason
  129. res_tailwindcss
  130. satyrographos >= "0.0.2.8"
  131. scfg
  132. sibylfs
  133. sifun
  134. smbc < "0.4.2"
  135. smtlib-utils >= "0.4"
  136. sociaml-vcard
  137. solidity-parser
  138. sqlgg < "0.4.4"
  139. squirrel
  140. stog >= "0.20.0"
  141. stog-writing
  142. swhid < "0.2"
  143. talaria-bibtex
  144. toml >= "7.1.0"
  145. touist
  146. tptp >= "0.3.1"
  147. wcs-lib >= "2017-05-26.02"
  148. webidl < "1.2"
  149. why3 >= "1.3.0"
  150. why3-base >= "0.86.3"
  151. wikitext >= "3.0.1"
  152. zanuda
  153. zelus
  154. zephyrus
  155. zipperposition >= "1.1" & != "1.5" & < "1.6"

Conflicts

None