kframework/k — pull request #1191 by andreistefanescu (2014-11-18 04:51:07+00:00)
Title: split time measurement for --prove in two: preprocessing and actual prov...

...ing