kframework/k — pull request #444 by dwightguth (2014-05-14 16:14:24+00:00)
Title: change kompile to use unique temp files

There was a race condition in the pdf backend if you compiled the same definition twice at the same time. I believe this to be because they share a .k directory. I am hoping that this fix, which finally implements the separation between temp files and outputs that -kompiled and .k were supposed to exhibit, will fix this problem.

I still need to test this more thoroughly. I will let you know when it's ready for review.