Revision e4af4fa0596a02a778781281adf6d42eb4b4df95 authored by Bryan Parno on 13 August 2018, 17:46:57 UTC, committed by Bryan Parno on 13 August 2018, 20:13:22 UTC
1 parent 2e0c25a
| File | Mode | Size |
|---|---|---|
| LowCProvider | ||
| QuicProvider | ||
| aead | ||
| concrete_specializations | ||
| hkdf | ||
| ideal_flags | ||
| prf | ||
| test | ||
| uf1cma | ||
| utils | ||
| vale | ||
| Crypto.AEAD.Main.fsti | -rw-r--r-- | 11.7 KB |
| Crypto.AEAD.Main.fsti.hints | -rw-r--r-- | 13.2 KB |
| Crypto.Plain.fst | -rw-r--r-- | 4.3 KB |
| Crypto.Plain.fst.hints | -rw-r--r-- | 15.0 KB |
| Makefile | -rw-r--r-- | 1.3 KB |
| Makefile.common | -rw-r--r-- | 2.8 KB |
| Makefile.extract | -rw-r--r-- | 13.2 KB |
| Makefile.old | -rw-r--r-- | 7.3 KB |
| README.md | -rw-r--r-- | 2.3 KB |
| ROADMAP.md | -rw-r--r-- | 6.6 KB |
| libquicprovider_version_script | -rw-r--r-- | 125 bytes |
Computing file changes ...
