| .. |
|
inc
|
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
|
%!s(int64=4) %!d(string=hai) anos |
|
src
|
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
|
%!s(int64=4) %!d(string=hai) anos |
|
Makefile
|
beb6c7aa14
Added ability for users to verify servers correctly added them
|
%!s(int64=4) %!d(string=hai) anos |
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