kframework/k — pull request #947 by dwightguth (2014-09-12 19:59:34+00:00)
Title: update z3 to snapshot dependency (we may have further upgrades before ne...

...xt release)

@bmmoore please review