package menhir
LR(1) parser generator
Install
Dune Dependency
Authors
Maintainers
Sources
menhir-20120123.tar.gz
sha256=65cd9e4f813c62697c60c344963ca11bd461169f574ba3a866c2691541cb4682
md5=1167cc6023f5d5e829e1d31ccbaad67d
Description
Published: 21 Nov 2013
README
README
In this variant of the calc demo, the parser's semantic actions are parameterized over a structure, called [Semantics], which defines how numbers should be interpreted. The parser is later instantiated with floating-point numbers, so the calculator actually performs floating-point evaluation -- but the grammar specification is independent of this detail.
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
-
binsec
< "0.4.0" - caper
- caradoc
-
cca
< "0.4" - ccss
-
cfg
< "2.1.0" - charrua-core
-
charrua-server
< "1.4.0" -
coccinelle
< "1.0.0-rc23" | >= "1.0.7" & < "1.1.0" -
codept
= "0.10.3" -
coin
< "0.1.4" -
combine
>= "0.42" - DrawGrammar
-
dedukti
< "2.7" - doc-ock-xml
- drom_toml
-
edn
< "0.2.0" - electrod
-
embedded_ocaml_templates
< "0.3.1" -
encoding
< "0.0.2" - erlang
-
FrontC
= "4.0.0" -
forester
!= "2.1" & < "3.0.0" -
frama-c-luncov
>= "0.2.1" -
frenetic
>= "5.0.0" & < "5.0.5" - gadelac
- gdb
-
gdbprofiler
< "0.4" - genet
- gobba
- gufo
-
heptagon
< "1.01.00" - imaplet-lwt
-
inferno
>= "20220603" -
js_of_ocaml
>= "1.4.0" & < "3.0" -
js_of_ocaml-compiler
>= "3.7.0" - kdl
-
kind2
< "1.6.0" - 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" -
mazeppa
< "0.4.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
-
msat
= "0.8" -
mustache
>= "3.0.0" & < "3.1.0" - nice_parser
- nunchaku
-
obelisk
< "0.7.0" - obrowser
-
ocaml-lsp-server
< "1.2.0" -
ocaml-r
< "0.1.0" -
odate
< "0.7" - odds
- ollvm
- ollvm-tapir
-
ometrics
< "0.2.0" - otoml
-
p4pp
< "0.1.8" - petr4
- phylogenetics
- profound
-
psmt2-frontend
< "0.3.0" -
rdf
>= "0.5" & < "0.10.0" - 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
- spdiff
-
sqlgg
< "20231201" - stog-writing
- tip-parser
-
toml
< "7.1.0" -
tptp
>= "0.3.1" -
uuuu
< "0.3.0" -
wcs-lib
>= "2017-05-26.02" -
why3-base
>= "0.86" - wikitext
- zanuda
- zephyrus
-
zipperposition
>= "1.1"
Conflicts
None
On This Page