package menhir
LR(1) parser generator
Install
Dune Dependency
Authors
Maintainers
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)
-
ocamlbuild
build
- ocamlfind
-
ocaml
>= "4.02" & < "5.0"
Dev Dependencies
None
-
acgtk
>= "1.5.0" & < "1.5.3"
-
alba
< "0.4.3"
-
alt-ergo
>= "2.0.0" & < "2.3.0" | >= "2.4.0"
-
alt-ergo-free
< "2.3.3"
- alt-ergo-parsers
- alt-ergo-parsers-free
-
anders
< "0.7.1"
-
archetype
< "1.0.0" | >= "1.2.1" & < "1.2.5"
- asli
-
atd
< "2.3.3"
-
bamboo
< "0.0.02"
-
batsh
< "0.0.5"
-
binsec
< "0.4.0"
- caper
- caradoc
-
cca
< "0.4"
- ccss
-
cfg
< "2.1.0"
- charrua-core
-
charrua-server
< "1.4.0"
-
coccinelle
>= "1.0.7" & < "1.1.0"
-
codept
= "0.10.3"
-
coin
< "0.1.4"
-
combine
>= "0.42"
- DrawGrammar
-
dedukti
< "2.7"
- doc-ock-xml
-
dolmen
< "0.4"
- drom_toml
-
edn
< "0.2.0"
- electrod
- electrumAnalyzer
-
embedded_ocaml_templates
< "0.3.1"
-
encoding
< "0.0.2"
- erlang
-
FrontC
= "4.0.0"
-
forester
!= "2.1" & < "3.0.0"
-
frenetic
>= "5.0.0" & < "5.0.5"
-
fstar
>= "0.9.5.0"
- gadelac
- gdb
-
gdbprofiler
< "0.4"
-
genet
!= "0.2"
- gobba
- gufo
-
heptagon
>= "1.01.00"
- imaplet-lwt
-
inferno
>= "20220603"
- jasmin
-
js_of_ocaml
>= "1.4.0" & < "3.0"
-
js_of_ocaml-compiler
>= "3.7.0"
- karamel
- kdl
-
kind2
< "1.6.0"
-
kremlin
< "transition"
- labrys
-
lambdapi
< "2.0.0"
- lambdoc
- libzipperposition
- lilis
-
links
>= "0.9" & < "0.9.4"
-
logtk
>= "1.5.1"
-
lp
< "0.4.0"
-
lsp
< "1.8.0" | >= "1.11.3" & < "1.12.1"
- mc2
-
merlin
< "2.0.0" | >= "3.5.0" & < "4.6-414" | >= "4.7-412" & < "4.7-414"
-
merlin-lib
< "4.8~5.1preview"
- mezzo
- minicaml
- modelica_ml
-
morbig
< "0.10.3"
-
msat
= "0.8"
-
mustache
>= "3.0.0" & < "3.1.0"
- nice_parser
- nunchaku
- obelisk
- obrowser
-
ocaml-lsp-server
< "1.2.0"
-
ocaml-r
< "0.1.0"
-
odate
< "0.7"
- odds
- ollvm
- ollvm-tapir
-
ometrics
< "0.2.0"
- otoml
-
ott
>= "0.32"
-
p4pp
< "0.1.8"
- petr4
- phylogenetics
- profound
-
psmt2-frontend
< "0.3.0"
-
rdf
>= "0.6.0" & < "0.12.0"
-
reason
< "1.13.0"
-
reason-parser
< "1.13.4"
- rfsm
-
runtime_events_tools
>= "0.5.0"
-
sail
< "0.15"
- sgf
- shapefile
- sibylfs
-
smbc
< "0.4.2"
-
smtlib-utils
< "0.4"
- sociaml-vcard
- solidity-parser
- sqlgg
- stog-writing
- tip-parser
-
toml
< "7.1.0"
- touist
-
tptp
>= "0.3.1"
-
uuuu
< "0.3.0"
-
wcs-lib
>= "2017-05-26.02"
-
why3
>= "1.0.0" & < "1.4.0"
-
why3-base
>= "0.86.3"
- wikitext
- zanuda
- zephyrus
-
zipperposition
>= "1.1"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page