Revision 1ebe439a4891c708c1f66dd945556fb531d77578 authored by Guido Martínez on 18 March 2020, 01:11:06 UTC, committed by Guido Martínez on 18 March 2020, 01:32:40 UTC
There was previously a bug in `lemma_mult_lt_right` in F*, but now it works as intended.
1 parent 17177ef
| File | Mode | Size |
|---|---|---|
| benchmark | ||
| rfc7748_src | ||
| tests-openssl | ||
| FrodoKEM-64-test.c | -rw-r--r-- | 644 bytes |
| Makefile | -rw-r--r-- | 935 bytes |
| README | -rw-r--r-- | 611 bytes |
| blake2-test.c | -rw-r--r-- | 22.2 KB |
| chacha20-test.c | -rw-r--r-- | 4.2 KB |
| chacha20-vec-test.c | -rw-r--r-- | 5.3 KB |
| chacha20poly1305-test.c | -rw-r--r-- | 12.6 KB |
| curve51-ours.c | -rw-r--r-- | 4.4 KB |
| curve64-ours.c | -rw-r--r-- | 4.4 KB |
| curve64-rfc.c | -rw-r--r-- | 4.5 KB |
| merkle_tree_test.c | -rw-r--r-- | 5.9 KB |
| merkle_tree_test.h | -rw-r--r-- | 13 bytes |
| poly1305-test.c | -rw-r--r-- | 9.0 KB |
Computing file changes ...
