summaryrefslogtreecommitdiff
path: root/src/packet_interface.h
AgeCommit message (Collapse)AuthorFilesLines
2018-12-17Invocation of noise.c from demo.c mostly proving in frama-cjaseg1-1/+1
2018-12-17A bunch of frama-c proofs running through for noise.cjaseg1-0/+7
2018-11-14GUI pairing working as it shouldjaseg1-0/+1
2018-11-13Host handshake mostly workingjaseg1-0/+3
2018-11-12New host-side arch workingjaseg1-6/+16
2018-11-12Handshake working with new abstractionsjaseg1-0/+27
2018-11-08HID report transmission partially works nowjaseg1-0/+2
partially i.e. if you attach the keyboard before the noise handshake. I suspect some memory corruption somewhere.
2018-11-08Break out noise.c and packet_interface.cjaseg1-0/+8