https://github.com/project-everest/hacl-star
History
Tip revision: 95467d24a979a0a42565970277897803bed81102 authored by Chris Hawblitzel on 16 January 2020, 19:33:19 UTC
Add more regression tests for Vale inline assembly printer
Tip revision: 95467d2
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
chacha20-test.c -rw-r--r-- 4.2 KB
chacha20-vec-test.c -rw-r--r-- 5.9 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.3 KB
merkle_tree_test.h -rw-r--r-- 13 bytes
poly1305-test.c -rw-r--r-- 8.9 KB

README

back to top