kframework/k — pull request #879 by dwightguth (2014-08-26 18:58:10+00:00)
Title: verification fixes for MInt

@andreistefanescu please review