diff options
| author | jaseg <git@jaseg.net> | 2018-12-13 17:43:41 +0900 |
|---|---|---|
| committer | jaseg <git@jaseg.net> | 2018-12-13 17:43:41 +0900 |
| commit | 21240ce378ec9f100d6782492c9aec50d909ddf6 (patch) | |
| tree | ed4014e35a6b5265b73beabdc6345a73eda2d62b /include/usbh_lld_stm32f4.h | |
| parent | a818c94fc4474afcdebdf6eea80608c130830db1 (diff) | |
| download | secure-hid-21240ce378ec9f100d6782492c9aec50d909ddf6.tar.gz secure-hid-21240ce378ec9f100d6782492c9aec50d909ddf6.tar.bz2 secure-hid-21240ce378ec9f100d6782492c9aec50d909ddf6.zip | |
Add beginnings of a frama-c proof of the protocol logic
The proof works
Diffstat (limited to 'include/usbh_lld_stm32f4.h')
0 files changed, 0 insertions, 0 deletions