summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2018-12-17Both COBS encode and decode proven for synchronizationjaseg1-8/+20
2018-12-17Prettify formalization of cobs_decode_incrementaljaseg1-20/+24
Among others, add synchronization guarantees
2018-12-17First steps to prove cobs decoderjaseg3-25/+112
2018-12-17Invocation of noise.c from demo.c mostly proving in frama-cjaseg5-31/+53
2018-12-17A bunch of frama-c proofs running through for noise.cjaseg3-7/+109
2018-12-13Add hardware v0.2 test codejaseg1-39/+95
2018-12-13Add beginnings of a frama-c proof of the protocol logicjaseg2-3/+37
The proof works
2018-12-01Replace word lists by PGP word listsjaseg7-530/+783
from https://en.wikipedia.org/wiki/PGP_word_list
2018-11-16Key scrubber works but is untested on race conditions due to unexpected resetjaseg3-8/+75
2018-11-15Clear ciphers on handshake resetjaseg1-1/+7
2018-11-14known device/sram data persistence workingjaseg3-12/+39
2018-11-14Pairing and fingerprint checking works nicely nowjaseg2-3/+63
2018-11-14GUI pairing working as it shouldjaseg3-5/+21
2018-11-13Add tracingjaseg3-2/+35
2018-11-13Pairing and passthrough mostly working, except it's too slowjaseg2-9/+28
2018-11-13Host handshake mostly workingjaseg7-23/+77
2018-11-12New host-side arch workingjaseg2-39/+66
2018-11-12Pairing confirmation: ignore special chars and "and"jaseg3-62/+108
2018-11-12Confirmed pairing worksjaseg6-64/+80
2018-11-12Handshake working with new abstractionsjaseg10-72/+1089
2018-11-08HID report transmission partially works nowjaseg7-45/+87
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.cjaseg6-206/+241
2018-11-08Noise handshake workingjaseg3-9/+16
2018-11-08Noise integration compilesjaseg6-3/+706
2018-11-06COBS/binary suport added, abstraction improvedjaseg4-54/+112
2018-11-06Proper print abstraction and ring buffer worksjaseg3-82/+133
2018-11-06DMA-supported LOG_PRINTF worksjaseg4-103/+71
2018-11-05Some UART logging workjaseg3-199/+75
2018-11-01Make demo work with STM32F4 board from aliexpress for SecureHID projectjaseg1-60/+10
2016-09-11Fix missing usbh_config.h in the cmake projectAmir Hammad1-0/+1
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11lld: add mask with epdirAmir Hammad1-1/+1
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11use default case instead of handling other packet statuses explicitelyAmir Hammad5-47/+20
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11xbox: remove warning about unused variableAmir Hammad1-1/+0
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11lld: remove not used error_count field in channel structAmir Hammad1-2/+0
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11lld: simplify stm32f4_usbh_port_channel_setupAmir Hammad1-36/+23
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11lld: rework low level driver initializationAmir Hammad3-16/+16
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11use forward declaration for usbh_dev_driver_tAmir Hammad4-32/+26
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11use NULL instead of 0 for assigning null pointerAmir Hammad5-15/+18
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11midi: rename prefix of static functionsAmir Hammad1-12/+12
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11lld: don't enable channel on write nack, return EAGAIN insteadAmir Hammad1-3/+12
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11hub: use common code to remove deviceAmir Hammad2-7/+2
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11remove detection of hangAmir Hammad1-5/+0
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11HUB: make use of control wrappers + use enumsAmir Hammad2-218/+84
Until now, hardcoded numbers were used as states. Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11hid: use control wrapper to simplify hid report writesAmir Hammad1-80/+8
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11core: use new control wrapper to set configuration to deviceAmir Hammad1-21/+2
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11core: use new control wrapper to read device descriptorAmir Hammad1-27/+3
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11core: use new control wrapper to set device's addressAmir Hammad1-22/+2
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11core: add helper state machine for control read/writeAmir Hammad1-8/+87
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11add DISABLE_LOW_LEVEL ifdef in hub device driverAmir Hammad1-0/+8
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
2016-09-11Drop need for the set configuration request in dev driversAmir Hammad5-212/+109
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
generated by cgit (git 2.34.1) at 2024-11-24 17:12:12 +0000