summaryrefslogtreecommitdiff
path: root/fw/src
diff options
context:
space:
mode:
authorjaseg <git@jaseg.net>2018-12-17 19:36:01 +0900
committerjaseg <git@jaseg.net>2018-12-17 19:36:01 +0900
commitb457eb1a91bf5b9995b568d32182ac364273fe15 (patch)
tree44fb04500750eabe6e20933f66a16d0a2fa697c2 /fw/src
parent447d084d79cc139d0aaa4433148cc7c310bfaf0d (diff)
downloadsecure-hid-b457eb1a91bf5b9995b568d32182ac364273fe15.tar.gz
secure-hid-b457eb1a91bf5b9995b568d32182ac364273fe15.tar.bz2
secure-hid-b457eb1a91bf5b9995b568d32182ac364273fe15.zip
Prettify formalization of cobs_decode_incremental
Among others, add synchronization guarantees
Diffstat (limited to 'fw/src')
0 files changed, 0 insertions, 0 deletions