 Stan Gurtler
|
ec1a914e9e
changes to HBC stuff (not yet debugged)
|
vor 3 Jahren |
|
Stan Gurtler
|
fd8851d9d5
hunting down source of issue
|
vor 3 Jahren |
|
Stan Gurtler
|
669951f4fe
testing issues with HBC cases
|
vor 3 Jahren |
|
Stan Gurtler
|
3548b4dc02
tmp files got me again
|
vor 3 Jahren |
|
Stan Gurtler
|
a50af1bf5a
more testing
|
vor 3 Jahren |
|
Stan Gurtler
|
c1608d18d9
testing
|
vor 3 Jahren |
|
Stan Gurtler
|
b8662cc18f
measure memory usage during runtime automatically
|
vor 3 Jahren |
 tristangurtler
|
fea7f1262e
clean up some leftover debugging code
|
vor 3 Jahren |
|
tristangurtler
|
af3553c129
makes instrumentation more accurate
|
vor 3 Jahren |
|
tristangurtler
|
635aeb1e48
fixing some instrumentation stuff
|
vor 3 Jahren |
|
tristangurtler
|
9254fdd76b
added instrumentation
|
vor 3 Jahren |
|
tristangurtler
|
33e41b4eb5
Cleaning up code to be more legible, and checking it with valgrind
|
vor 3 Jahren |
|
tristangurtler
|
6bf2b85137
networking has been debugged. It now works, no issues.
|
vor 3 Jahren |
|
tristangurtler
|
8c1f044b7c
repo in state consistent with email sent to Ian at ~5:32AM 14-04-2021
|
vor 3 Jahren |
|
tristangurtler
|
3980749a6c
various bugfixes, and further establishing the environment for testing
|
vor 3 Jahren |
|
tristangurtler
|
3cce4c56e4
server/client now compile, at least
|
vor 3 Jahren |
|
tristangurtler
|
3e75082ddb
updates to networking code
|
vor 3 Jahren |
|
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
|
vor 3 Jahren |
|
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
|
vor 3 Jahren |
