package menhir

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

Install

Dune Dependency

Authors

Maintainers

Sources

menhir-20160825.tar.gz
sha256=1c93fe44de140aeef25212fbc2d62aaa080e7bdb9902106820920f7a8a2fa849
md5=d3773be7af60ac2de0220284e3b8fb1d

Description

Published: 27 Aug 2016

README

README

This variant of the calc demo uses Menhir with the --table option.
It also demonstrates how to use the incremental parser interface.

Dependencies (3)

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

Dev Dependencies

None

Used by (87)

  1. alba < "0.4.3"
  2. alt-ergo >= "2.0.0" & < "2.3.0" | >= "2.4.0"
  3. alt-ergo-free
  4. alt-ergo-parsers
  5. archetype < "1.0.0" | >= "1.2.1" & < "1.2.5"
  6. asli
  7. atd < "2.3.3"
  8. bdd >= "0.5"
  9. caper
  10. cca < "0.4"
  11. coccinelle < "1.1.0"
  12. codept < "0.11.0"
  13. coin < "0.1.4"
  14. dedukti < "2.7"
  15. diffast-core
  16. diffast-langs-cpp-parsing
  17. diffast-langs-fortran-parsing
  18. diffast-langs-java-parsing
  19. diffast-langs-python-parsing
  20. diffast-langs-verilog-parsing
  21. dolmen < "0.4"
  22. drom_toml
  23. dune >= "3.17.2"
  24. edn < "0.2.0"
  25. electrod
  26. electrumAnalyzer
  27. embedded_ocaml_templates < "0.3.1"
  28. erlang
  29. FrontC = "4.0.0"
  30. forester != "2.1" & < "3.0.0"
  31. frama-c-luncov >= "0.2.1"
  32. gadelac
  33. gdbprofiler < "0.4"
  34. gobba >= "0.4.2"
  35. gufo
  36. heptagon
  37. inferno >= "20220603"
  38. jasmin
  39. js_of_ocaml-compiler >= "3.7.1"
  40. kdl
  41. kind2 < "1.6.0"
  42. labrys
  43. libzipperposition
  44. links < "0.9.4"
  45. logtk
  46. lp < "0.4.0"
  47. lsp < "1.15.1-5.0"
  48. mazeppa < "0.4.1"
  49. mc2
  50. merlin < "4.14-500"
  51. minicaml < "0.3.3"
  52. morbig < "0.10.3"
  53. msat = "0.8"
  54. nice_parser
  55. obelisk < "0.7.0"
  56. odate < "0.7"
  57. odds
  58. ollvm
  59. ollvm-tapir
  60. ometrics < "0.2.0"
  61. otoml
  62. ott >= "0.32"
  63. p4pp < "0.1.8"
  64. petr4
  65. phylogenetics
  66. psmt2-frontend < "0.3.0"
  67. rdf < "0.12.0"
  68. rfsm
  69. runtime_events_tools >= "0.5.0"
  70. sail < "0.15"
  71. sgf
  72. shapefile
  73. smtlib-utils < "0.4"
  74. solidity-parser
  75. sqlgg < "20231201"
  76. stog-writing
  77. tip-parser
  78. toml < "7.1.0"
  79. touist
  80. tptp
  81. uuuu < "0.3.0"
  82. wasm_of_ocaml-compiler
  83. wcs-lib >= "2017-05-26.02"
  84. why3 < "1.4.0"
  85. wikitext
  86. zanuda
  87. zipperposition

Conflicts

None

OCaml

Innovation. Community. Security.