| File | Mode | Size |
|---|---|---|
| AUTHORS.md | -rw-r--r-- | 132 bytes |
| Hacl.Impl.HSalsa20.fst | -rw-r--r-- | 2.2 KB |
| Hacl.Impl.Salsa20.Core32.fst | -rw-r--r-- | 4.2 KB |
| Hacl.Impl.Salsa20.fst | -rw-r--r-- | 6.9 KB |
| Hacl.Salsa20.fst | -rw-r--r-- | 1.9 KB |
| Makefile | -rw-r--r-- | 53 bytes |
| salsa20-test.c | -rw-r--r-- | 5.2 KB |
