Revision dccec723
Added by LĂ©lio Brun over 3 years ago
src/parsers/lexerLustreSpec.mll | ||
---|---|---|
93 | 93 |
"forall", FORALL; |
94 | 94 |
"c_code", CCODE; |
95 | 95 |
"matlab", MATLAB; |
96 |
"by", BY |
|
96 | 97 |
] |
97 | 98 |
|
98 | 99 |
} |
... | ... | |
113 | 114 |
{REAL (Real.create (l^r) (String.length r + -1 * int_of_string exp) s)} |
114 | 115 |
| '-'? ['0'-'9']+ |
115 | 116 |
{INT (int_of_string (Lexing.lexeme lexbuf)) } |
117 |
| (['0'-'9']+) as i '-' "induction" |
|
118 |
{KINDUCTION (int_of_string i)} |
|
116 | 119 |
(* | '/' (['_' 'A'-'Z' 'a'-'z'] ['A'-'Z' 'a'-'z' '_' '0'-'9']* '/')+ as s |
117 | 120 |
{IDENT s} |
118 | 121 |
*) |
Also available in: Unified diff
a version that almost work for the k-inuctive two_counters example