diff options
author | jaseg <git@jaseg.net> | 2018-12-17 19:36:01 +0900 |
---|---|---|
committer | jaseg <git@jaseg.net> | 2018-12-17 19:36:01 +0900 |
commit | b457eb1a91bf5b9995b568d32182ac364273fe15 (patch) | |
tree | 44fb04500750eabe6e20933f66a16d0a2fa697c2 /initRepo.sh | |
parent | 447d084d79cc139d0aaa4433148cc7c310bfaf0d (diff) | |
download | secure-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 'initRepo.sh')
0 files changed, 0 insertions, 0 deletions