Project

General

Profile

« Previous | Next » 

Revision 1b57e111

Added by Teme Kahsai almost 8 years ago

adding sfunction support

View differences:

src/lexerLustreSpec.mll
66 66 
  "assumes", ASSUMES;
67 67 
  "exists", EXISTS;
68 68 
  "forall", FORALL;
69 
  "c_code", CCODE;
70 
  "matlab", MATLAB;
69 71 
  ]
70 72 

  		




  71
  73
  
    
}


  		












Also available in:  Unified diff