 tristangurtler
|
33e41b4eb5
Cleaning up code to be more legible, and checking it with valgrind
|
3 年之前 |
|
tristangurtler
|
3980749a6c
various bugfixes, and further establishing the environment for testing
|
3 年之前 |
|
tristangurtler
|
3cce4c56e4
server/client now compile, at least
|
3 年之前 |
|
tristangurtler
|
3e75082ddb
updates to networking code
|
3 年之前 |
|
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
|
3 年之前 |
|
tristangurtler
|
da32b7a842
minor changes that lead to ~30% reduction in proof time
|
3 年之前 |
|
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
|
3 年之前 |
