package menhir

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

Install

Dune Dependency

gallium.inria.fr Readme Edit opam file Versions (61)

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

menhir-20161115.tar.gz
md5=c1aafe196ac7695000ff7370184eda20

Description

Published: 15 Nov 2016

README

README

This tiny program reads arithmetic expressions from the standard input
channel. Each expression is expected to be complete when the current line
ends. Its value is then displayed on the standard output channel. This
code is adapted from ocamlyacc's documentation.

We compile the parser using Menhir's code back-end. For an example of using
Menhir's table back-end, see the calc-incremental/ and calc-inspection/.

Dependencies (3)

  1. ocamlbuild build
  2. ocamlfind
  3. ocaml >= "4.02" & < "5.0"

Dev Dependencies

None

  1. acgtk >= "1.5.0" & < "1.5.3"
  2. alba < "0.4.3"
  3. alt-ergo >= "2.0.0" & < "2.3.0" | >= "2.4.0"
  4. alt-ergo-free < "2.3.3"
  5. alt-ergo-parsers
  6. alt-ergo-parsers-free
  7. anders < "0.7.1"
  8. archetype < "1.0.0" | >= "1.2.1" & < "1.2.5"
  9. asli
  10. atd < "2.3.3"
  11. bamboo < "0.0.02"
  12. batsh < "0.0.5"
  13. binsec < "0.4.0"
  14. caper
  15. caradoc
  16. cca < "0.4"
  17. ccss
  18. cfg < "2.1.0"
  19. charrua-core
  20. charrua-server < "1.4.0"
  21. coccinelle >= "1.0.7" & < "1.1.0"
  22. codept = "0.10.3"
  23. coin < "0.1.4"
  24. combine >= "0.42"
  25. DrawGrammar
  26. dedukti < "2.7"
  27. doc-ock-xml
  28. dolmen < "0.4"
  29. drom_toml
  30. edn < "0.2.0"
  31. electrod
  32. electrumAnalyzer
  33. embedded_ocaml_templates < "0.3.1"
  34. encoding < "0.0.2"
  35. erlang
  36. FrontC = "4.0.0"
  37. forester != "2.1" & < "3.0.0"
  38. frenetic >= "5.0.0" & < "5.0.5"
  39. fstar >= "0.9.5.0"
  40. gadelac
  41. gdb
  42. gdbprofiler < "0.4"
  43. genet != "0.2"
  44. gobba
  45. gufo
  46. heptagon >= "1.01.00"
  47. imaplet-lwt
  48. inferno >= "20220603"
  49. jasmin
  50. js_of_ocaml >= "1.4.0" & < "3.0"
  51. js_of_ocaml-compiler >= "3.7.0"
  52. karamel
  53. kdl
  54. kind2 < "1.6.0"
  55. kremlin < "transition"
  56. labrys
  57. lambdapi < "2.0.0"
  58. lambdoc
  59. libzipperposition
  60. lilis
  61. links >= "0.9" & < "0.9.4"
  62. logtk >= "1.5.1"
  63. lp < "0.4.0"
  64. lsp < "1.8.0" | >= "1.11.3" & < "1.12.1"
  65. mc2
  66. merlin < "2.0.0" | >= "3.5.0" & < "4.6-414" | >= "4.7-412" & < "4.7-414"
  67. merlin-lib < "4.8~5.1preview"
  68. mezzo
  69. minicaml
  70. modelica_ml
  71. morbig < "0.10.3"
  72. msat = "0.8"
  73. mustache >= "3.0.0" & < "3.1.0"
  74. nice_parser
  75. nunchaku
  76. obelisk
  77. obrowser
  78. ocaml-lsp-server < "1.2.0"
  79. ocaml-r < "0.1.0"
  80. odate < "0.7"
  81. odds
  82. ollvm
  83. ollvm-tapir
  84. ometrics < "0.2.0"
  85. otoml
  86. ott >= "0.32"
  87. p4pp < "0.1.8"
  88. petr4
  89. phylogenetics
  90. profound
  91. psmt2-frontend < "0.3.0"
  92. rdf >= "0.6.0" & < "0.12.0"
  93. reason < "1.13.0"
  94. reason-parser < "1.13.4"
  95. rfsm
  96. runtime_events_tools >= "0.5.0"
  97. sail < "0.15"
  98. sgf
  99. shapefile
  100. sibylfs
  101. smbc < "0.4.2"
  102. smtlib-utils < "0.4"
  103. sociaml-vcard
  104. solidity-parser
  105. sqlgg
  106. stog-writing
  107. tip-parser
  108. toml < "7.1.0"
  109. touist
  110. tptp >= "0.3.1"
  111. uuuu < "0.3.0"
  112. wcs-lib >= "2017-05-26.02"
  113. why3 >= "1.0.0" & < "1.4.0"
  114. why3-base >= "0.86.3"
  115. wikitext
  116. zanuda
  117. zephyrus
  118. zipperposition >= "1.1"

Conflicts

None