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 /src/frama_c_cmdline | |
| 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 'src/frama_c_cmdline')
0 files changed, 0 insertions, 0 deletions