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-20160526.tar.gz
md5=0bbffb55c92c3b57e082be9c4b5b2070

Description

Published: 27 May 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. gadelac
  40. gdb
  41. gdbprofiler < "0.4"
  42. genet != "0.2"
  43. gobba
  44. gufo
  45. heptagon >= "1.01.00"
  46. imaplet-lwt
  47. inferno >= "20220603"
  48. js_of_ocaml >= "1.4.0" & < "3.0"
  49. js_of_ocaml-compiler >= "3.7.0"
  50. kdl
  51. kind2 < "1.6.0"
  52. labrys
  53. lambdapi < "2.0.0"
  54. lambdoc
  55. libzipperposition
  56. lilis
  57. links >= "0.9" & < "0.9.4"
  58. logtk >= "1.5.1"
  59. lp < "0.4.0"
  60. lsp < "1.8.0" | >= "1.11.3" & < "1.12.1"
  61. mc2
  62. merlin < "2.0.0" | >= "3.5.0" & < "4.6-414" | >= "4.7-412" & < "4.7-414"
  63. merlin-lib < "4.8~5.1preview"
  64. mezzo
  65. minicaml
  66. modelica_ml
  67. morbig < "0.10.3"
  68. msat = "0.8"
  69. mustache >= "3.0.0" & < "3.1.0"
  70. nice_parser
  71. nunchaku
  72. obelisk
  73. obrowser
  74. ocaml-lsp-server < "1.2.0"
  75. ocaml-r < "0.1.0"
  76. odate < "0.7"
  77. odds
  78. ollvm
  79. ollvm-tapir
  80. ometrics < "0.2.0"
  81. otoml
  82. ott >= "0.32"
  83. p4pp < "0.1.8"
  84. petr4
  85. phylogenetics
  86. profound
  87. psmt2-frontend < "0.3.0"
  88. rdf >= "0.6.0" & < "0.12.0"
  89. reason < "1.13.0"
  90. reason-parser < "1.13.4"
  91. rfsm
  92. runtime_events_tools >= "0.5.0"
  93. sail < "0.15"
  94. sgf
  95. shapefile
  96. sibylfs
  97. smbc < "0.4.2"
  98. smtlib-utils < "0.4"
  99. sociaml-vcard
  100. solidity-parser
  101. sqlgg
  102. stog-writing
  103. tip-parser
  104. toml < "7.1.0"
  105. touist
  106. tptp >= "0.3.1"
  107. uuuu < "0.3.0"
  108. wcs-lib >= "2017-05-26.02"
  109. why3 >= "1.0.0" & < "1.4.0"
  110. why3-base >= "0.86.3"
  111. wikitext
  112. zanuda
  113. zephyrus
  114. zipperposition >= "1.1"

Conflicts

None