Project

General

Profile

« Previous | Next » 

Revision dccec723

Added by LĂ©lio Brun over 3 years ago

a version that almost work for the k-inuctive two_counters example

View differences:

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