Revision 0f7967bd30c718d4290fc4ff7d67c09a4ec3b497 authored by Dzomo the everest Yak on 22 April 2020, 08:20:07 UTC, committed by Dzomo the everest Yak on 22 April 2020, 08:20:07 UTC
1 parent 0bcd4ea
File | Mode | Size |
---|---|---|
AUTHORS.md | -rw-r--r-- | 187 bytes |
Hacl.Chacha20Poly1305_128.fst | -rw-r--r-- | 754 bytes |
Hacl.Chacha20Poly1305_256.fst | -rw-r--r-- | 754 bytes |
Hacl.Chacha20Poly1305_32.fst | -rw-r--r-- | 719 bytes |
Hacl.Impl.Chacha20Poly1305.PolyCore.fst | -rw-r--r-- | 1.6 KB |
Hacl.Impl.Chacha20Poly1305.fst | -rw-r--r-- | 7.4 KB |
Hacl.Meta.Chacha20Poly1305.fst | -rw-r--r-- | 385 bytes |
Makefile | -rw-r--r-- | 1.2 KB |
chacha20poly1305-test.c | -rw-r--r-- | 12.6 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...