kframework/k — pull request #312 by traiansf (2014-03-26 22:51:59+00:00)
Title: Klabel strictness

Updated code to allow strict and seqstrict for KLabel. Although they were implemented, the code was rewriten such that they were no longer allowed.

Still missing: position arguments for strict and seqstrict.