search

epfl-lara / leon

The Leon system for verification, synthesis, repair
Other
162 stars 49 forks source link

Web interface appears to be failing #310

Closed eglassman closed 7 years ago

eglassman commented 7 years ago

... to authenticate users or load synthesis examples.

eglassman commented 7 years ago

I get this when I select List Insert: image and I get this when I try to login with Github: image

larsrh commented 7 years ago

I don't operate these servers, but you might want to try http://leondev.epfl.ch/ instead.

MikaelMayer commented 7 years ago

I restarted the server. I'm so sorry. I don't like to blame others, but it looks like it is a recurrent bug due to our use of the Play Framework with actors. From time to time it leaks memory (no kidding) and the back-end fails. I don't know how to solve this problem other than restarting the server. The code is on github.com/epfl-lara/leon-web