kframework/k — pull request #448 by dwightguth (2014-05-14 20:37:12+00:00)
Title: Unified builtins regression tests

@andreistefanescu please review