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-20161114.tar.gz
md5=df6346616d0c086400454a244df5e590

Description

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

Conflicts

None