Session is always considered as outdated on startup
I suppose that is because I pass an
.mlw file to
why3 ide, which causes it to send an
Add_file_req request to the server, which causes the session to be marked as "needs saving".
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information