tmgurtler/PRSONA

Auteur	SHA1 Message	Date
tristangurtler	3e75082ddb updates to networking code	il y a 3 ans
tristangurtler	4715de0aad networking code upload; it doesn't compile yet, and there's a small delta left on the client code before that's ready anyways. But the server code has been drafted; needs to be debugged	il y a 3 ans
tristangurtler	373a1adbae I don't know what it is, but approximately 3% of the time, there is a bug that causes proofs to fail. Otherwise, I'm adding networking code now	il y a 3 ans