https://github.com/mit-plv/fiat-crypto
Revision 0df26cdadb533c71f8af9dcfd6e2acab4f89514b authored by jadep on 05 February 2019, 18:17:38 UTC, committed by jadep on 05 February 2019, 18:17:38 UTC
1 parent 6ec03e9
History
Tip revision: 0df26cdadb533c71f8af9dcfd6e2acab4f89514b authored by jadep on 05 February 2019, 18:17:38 UTC
change q_nbits to nat, make helper for mapping on matrices
Tip revision: 0df26cd
File Mode Size
ci
compile-by-zinc
coq-scripts @ ef2d7f9
additionchain.py -rw-r--r-- 2.7 KB
author-blacklist -rw-r--r-- 268 bytes
cpufreq -rwxr-xr-x 339 bytes
freshen-bedrock-files.sh -rwxr-xr-x 1.3 KB
governor.sh -rwxr-xr-x 762 bytes
hyperthreading.sh -rwxr-xr-x 589 bytes
machine.sh -rwxr-xr-x 1.0 KB
ratios.py -rwxr-xr-x 610 bytes
tscfreq.c -rw-r--r-- 595 bytes
turboboost.sh -rwxr-xr-x 263 bytes

back to top