summaryrefslogtreecommitdiff
path: root/fw
diff options
context:
space:
mode:
authorjaseg <git@jaseg.net>2018-12-13 17:43:41 +0900
committerjaseg <git@jaseg.net>2018-12-13 17:43:41 +0900
commit21240ce378ec9f100d6782492c9aec50d909ddf6 (patch)
treeed4014e35a6b5265b73beabdc6345a73eda2d62b /fw
parenta818c94fc4474afcdebdf6eea80608c130830db1 (diff)
downloadsecure-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 'fw')
0 files changed, 0 insertions, 0 deletions