Take2:
New xtext project
Take2:
Added Module and variable declarations grammer
Take2:
built artifacts
Take2: git ignore
Take2:
simple 'case ' grammer works
Take 2:
Accepts simple grammar:
MODULE main
VAR
 request : boolean;
 status : {ready,busy};
ASSIGN
 init(status) := ready;
 next(status) := case
      request : busy;
      TRUE : {ready,busy};
     esac;

LTLSPEC G request
Take2:
Generates smv file