コミット履歴

作者 SHA1 メッセージ 日付
  Stan Gurtler ec1a914e9e changes to HBC stuff (not yet debugged) 3 年 前
  Stan Gurtler b8662cc18f measure memory usage during runtime automatically 3 年 前
  tristangurtler 635aeb1e48 fixing some instrumentation stuff 3 年 前
  tristangurtler 9254fdd76b added instrumentation 3 年 前
  tristangurtler 33e41b4eb5 Cleaning up code to be more legible, and checking it with valgrind 3 年 前
  tristangurtler 6bf2b85137 networking has been debugged. It now works, no issues. 3 年 前
  tristangurtler 8c1f044b7c repo in state consistent with email sent to Ian at ~5:32AM 14-04-2021 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 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 年 前