kframework/k — pull request #492 by radumereuta (2014-05-22 23:12:44+00:00)
Title: Made it so timing.log is opened each time I want to write something in it

Since this is called only when --debug is provided to kompile, it shouldn't be a time penalty for normal usages.

@dwightguth please review.