Commit 0a93a388 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Merge branch 'feature/aorai/using-menhir' into 'master'

[Aorai] using menhir

See merge request frama-c/frama-c!4048
parents 6636af02 21bd69d6
......@@ -47,6 +47,10 @@
)
(ocamllex yalexer)
(ocamlyacc yaparser)
(menhir
(modules yaparser)
; "--fixed-exception" fixes compatibility with ocamlyacc Parsing.Parse_error
(flags --fixed-exception --explain --dump --comment)
)
(plugin (optional) (name aorai) (libraries frama-c-aorai.core) (site (frama-c plugins)))
......@@ -26,3 +26,4 @@
(name frama-c-aorai)
(using dune_site 0.1)
(using menhir 2.1)
......@@ -175,11 +175,11 @@ type pre_cond = Behavior of string | Pre of Automaton_ast.condition
main : options metavars states EOF { build_automaton $1 $2 $3 }
options
: options option { $1 @ [$2] }
| option { [$1] }
: options an_option { $1 @ [$2] }
| an_option { [$1] }
;
option
an_option
: PERCENT IDENTIFIER opt_identifiers SEMI_COLON {
match $2 with
| "init" -> Init $3
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment