 tristangurtler
|
a831ddb779
debugging (and makefile support for gdb debugging) complete
|
3 years ago |
|
tristangurtler
|
885c9e40cd
there is now something that can actually be compiled; bugfixing remains to get it to run and be useful, though
|
3 years ago |
|
tristangurtler
|
33764d2df2
adding code into stubs, now missing proof stuff, ElGamal is probably not correct, no actual interaction between classes (that is, networking stuff to be added)
|
3 years ago |
|
tristangurtler
|
0e261e00e8
stubbed out beginning of code
|
3 years ago |
