[Ur] demo isn't working

Adam Chlipala adamc at impredicative.com
Mon Feb 14 07:52:52 EST 2011


Qiang Liu wrote:
> hi all, yesterday i was trying the demo one by one, suddenly the 
> server was down and is still unavailable. Is it my network problem or 
> we all experience this?

Apparently the demo segfaulted, for the first time in months!  I've 
restarted it now, and I'm watching it with Valgrind.  Thanks for the report.



More information about the Ur mailing list