Kees Huizing

icon location Mathematics, Computer Science. Eindhoven Univ ersatz of Technology. Interest in program semantics and verification, Java, Dafny.

Results 2 comments of Kees Huizing

DafnyServer process quit unexpectedly; attempting restart

I have this problem as well, with looping quit and restart (Mac OS). Is there any progress on this issue?

DafnyServer process quit unexpectedly; attempting restart

Thanks for the info. I don’t see these folders on my Mac right now, but I’ll look further. Kees On 17 Sep 2020, 19:42 +0200, Matt Christensen , wrote: >...