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.0.6" | >= "2.1.0"
  80. lp
  81. lsp < "1.8.0" | >= "1.11.3" & < "1.15.0-4.14"
  82. lua_parser >= "1.0.1"
  83. melange-compiler-libs
  84. merlin < "2.0.0" | >= "3.5.0" & < "4.6-414" | >= "4.7-412" & < "4.7-414"
  85. merlin-lib
  86. mezzo
  87. minicaml
  88. minimal >= "1.1.0"
  89. modelica_ml
  90. morbig
  91. msat = "0.8"
  92. mustache >= "3.0.0"
  93. netkat
  94. nice_parser
  95. nuscr != "2.0.0"
  96. obelisk
  97. obrowser
  98. obus >= "1.2.0"
  99. ocaml-lsp-server < "1.2.0"
  100. ocaml-r < "0.1.0"
  101. ocamlformat >= "0.14.0" & < "0.25.1"
  102. ocamlformat-lib
  103. ocamlformat-rpc < "0.21.0"
  104. odate < "0.6"
  105. odds
  106. ometrics < "0.2.0"
  107. openQASM
  108. optal
  109. otoml
  110. ott >= "0.32"
  111. owi
  112. p4pp >= "0.1.11"
  113. p5scm
  114. petr4
  115. phylogenetics
  116. plist-xml >= "0.4.0"
  117. ppx_open
  118. ppx_pbt
  119. ppx_pyformat
  120. profound
  121. psmt2-frontend >= "0.3.0"
  122. pyast
  123. rdf >= "0.7.0"
  124. reason >= "3.3.5"
  125. relit-reason
  126. res_tailwindcss
  127. satyrographos >= "0.0.2.8"
  128. scfg
  129. sibylfs
  130. sifun
  131. smbc < "0.4.2"
  132. smtlib-utils >= "0.4"
  133. sociaml-vcard
  134. solidity-parser
  135. sqlgg < "0.4.4"
  136. squirrel
  137. stog >= "0.20.0"
  138. stog-writing
  139. swhid < "0.2"
  140. talaria-bibtex
  141. toml >= "7.1.0"
  142. touist
  143. tptp >= "0.3.1"
  144. wcs-lib >= "2017-05-26.02"
  145. webidl < "1.2"
  146. why3 >= "1.3.0"
  147. why3-base >= "0.86.3"
  148. wikitext >= "3.0.1"
  149. zanuda
  150. zelus
  151. zephyrus
  152. zipperposition >= "1.1" & != "1.5" & < "1.6"

Conflicts

None