kframework/k — pull request #267 by radumereuta (2014-03-04 20:13:19+00:00)
Title: New parser. Adding NullabilityCheck. (First pull request).

Should be reviewed by Michael.