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

Conflicts

None