kframework/k — pull request #318 by radumereuta (2014-03-28 04:10:42+00:00)
Title: Newparser firstdraft

At the moment the new parser is integrated into kast, and it is available only for programs.
Usage: kast --parser=newprogram ...
Usage in krun:
linux: krun --parser="kast --parser=newprogram" ...
windows: krun --parser="kast.bat --parser=newprogram" ...

There are a few examples in /tests/newparser where you can see how to write a grammar (I have to integrate them into ktest).
Normal productions and lists work correctly, but we still need to work on lexical rules. Use only simple regular expressions (see the examples).
Priorities, associativity and prefer is not yet implemented but will come soon.