search

kframework / kweb

Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/
5 stars 5 forks source link

kweb extremely slow on Windows #14

Open grosu opened 10 years ago

grosu commented 10 years ago

I tried to create a new folder and took 10 seconds or so. Similarly when I created a file.

Seems to work fine on Chrome.