https://github.com/mit-plv/fiat-crypto
History
Tip revision: 0b1ebe16c40ae1bb3a37ee4b09a88ac177df1dc7 authored by Jason Gross on 28 June 2021, 17:28:42 UTC
Fix perf.csv generation
Tip revision: 0b1ebe1
File Mode Size
bedrock2 @ e3d7545
coqprime @ 8f4a152
etc
fiat-rust
rewriter @ c8117a0
src
.dir-locals.el -rw-r--r-- 1.4 KB
.gitignore -rw-r--r-- 3.8 KB
.gitmodules -rw-r--r-- 469 bytes
.mailmap -rw-r--r-- 2.3 KB
.travis.yml -rw-r--r-- 7.1 KB
AUTHORS -rw-r--r-- 597 bytes
CONTRIBUTORS -rw-r--r-- 1.2 KB
Crypto.Bedrock.CompilerTest.X25519_64.mulmod_bedrock.expected -rw-r--r-- 60.0 KB
Crypto.Bedrock.CompilerTest.mulmod_bedrock.X25519_32.expected -rw-r--r-- 250.1 KB
Crypto.Fancy.Montgomery256.Prod.MontRed256.expected -rw-r--r-- 643 bytes
LICENSE -rw-r--r-- 1.1 KB
Makefile -rw-r--r-- 21.5 KB
README.md -rw-r--r-- 26.2 KB
_CoqProject -rw-r--r-- 10.0 KB
crypto-defects.md -rw-r--r-- 6.0 KB
curve25519_32.c -rw-r--r-- 42.0 KB
curve25519_64.c -rw-r--r-- 25.8 KB
folkwisdom.md -rw-r--r-- 17.2 KB
p224_32.c -rw-r--r-- 92.7 KB
p224_64.c -rw-r--r-- 46.0 KB
p256_32.c -rw-r--r-- 107.7 KB
p256_64.c -rw-r--r-- 43.7 KB
p384_32.c -rw-r--r-- 250.8 KB
p384_64.c -rw-r--r-- 89.7 KB
p434_64.c -rw-r--r-- 111.0 KB
p448_solinas_64.c -rw-r--r-- 41.5 KB
p521_32.c -rw-r--r-- 88.0 KB
p521_64.c -rw-r--r-- 45.5 KB
perf-graph-1.csv -rw-r--r-- 82.2 KB
perf-graph-2.csv -rw-r--r-- 32.6 KB
perf-graph-3.csv -rw-r--r-- 14.4 KB
perf-graph-4.csv -rw-r--r-- 14.4 KB
perf-graph-5.csv -rw-r--r-- 14.4 KB
perf-graph-6.csv -rw-r--r-- 44.1 KB
perf-graph-7.csv -rw-r--r-- 43.5 KB
perf-graph-8.csv -rw-r--r-- 43.5 KB
perf-graph.csv -rw-r--r-- 44.9 KB
perf-new-extraction-over-new-extraction--only-UnsaturatedSolinas-x32.txt -rw-r--r-- 5.6 KB
perf-new-extraction-over-new-extraction--only-UnsaturatedSolinas-x64.txt -rw-r--r-- 5.6 KB
perf-new-extraction-over-new-extraction--only-WordByWordMontgomery-x32.txt -rw-r--r-- 7.5 KB
perf-new-extraction-over-new-extraction--only-WordByWordMontgomery-x64.txt -rw-r--r-- 7.5 KB
perf-new-extraction-over-new-extraction.txt -rw-r--r-- 26.2 KB
perf-new-extraction-over-old-vm--only-UnsaturatedSolinas-x32.txt -rw-r--r-- 6.5 KB
perf-new-extraction-over-old-vm--only-UnsaturatedSolinas-x64.txt -rw-r--r-- 6.5 KB
perf-new-extraction-over-old-vm--only-WordByWordMontgomery-x32.txt -rw-r--r-- 8.7 KB
perf-new-extraction-over-old-vm--only-WordByWordMontgomery-x64.txt -rw-r--r-- 8.7 KB
perf-new-extraction-over-old-vm.txt -rw-r--r-- 30.4 KB
perf-new-extraction-times--only-UnsaturatedSolinas-x32.txt -rw-r--r-- 5.9 KB
perf-new-extraction-times--only-UnsaturatedSolinas-x64.txt -rw-r--r-- 6.0 KB
perf-new-extraction-times--only-WordByWordMontgomery-x32.txt -rw-r--r-- 7.9 KB
perf-new-extraction-times--only-WordByWordMontgomery-x64.txt -rw-r--r-- 7.9 KB
perf-new-extraction-times.txt -rw-r--r-- 27.6 KB
perf-new-vm-over-new-extraction--only-UnsaturatedSolinas-x32.txt -rw-r--r-- 6.5 KB
perf-new-vm-over-new-extraction--only-UnsaturatedSolinas-x64.txt -rw-r--r-- 6.5 KB
perf-new-vm-over-new-extraction--only-WordByWordMontgomery-x32.txt -rw-r--r-- 8.4 KB
perf-new-vm-over-new-extraction--only-WordByWordMontgomery-x64.txt -rw-r--r-- 8.6 KB
perf-new-vm-over-new-extraction.txt -rw-r--r-- 30.0 KB
perf-new-vm-over-old-vm--only-UnsaturatedSolinas-x32.txt -rw-r--r-- 6.4 KB
perf-new-vm-over-old-vm--only-UnsaturatedSolinas-x64.txt -rw-r--r-- 6.4 KB
perf-new-vm-over-old-vm--only-WordByWordMontgomery-x32.txt -rw-r--r-- 8.4 KB
perf-new-vm-over-old-vm--only-WordByWordMontgomery-x64.txt -rw-r--r-- 8.6 KB
perf-new-vm-over-old-vm.txt -rw-r--r-- 29.9 KB
perf-new-vm-times--only-UnsaturatedSolinas-x32.txt -rw-r--r-- 5.7 KB
perf-new-vm-times--only-UnsaturatedSolinas-x64.txt -rw-r--r-- 5.8 KB
perf-new-vm-times--only-WordByWordMontgomery-x32.txt -rw-r--r-- 7.5 KB
perf-new-vm-times--only-WordByWordMontgomery-x64.txt -rw-r--r-- 7.6 KB
perf-new-vm-times.txt -rw-r--r-- 26.6 KB
perf-old-cbv-times--only-UnsaturatedSolinas-x32.txt -rw-r--r-- 5.7 KB
perf-old-cbv-times--only-UnsaturatedSolinas-x64.txt -rw-r--r-- 5.8 KB
perf-old-cbv-times--only-WordByWordMontgomery-x32.txt -rw-r--r-- 5.8 KB
perf-old-cbv-times--only-WordByWordMontgomery-x64.txt -rw-r--r-- 7.7 KB
perf-old-cbv-times.txt -rw-r--r-- 25.0 KB
perf-old-vm-over-new-extraction--only-UnsaturatedSolinas-x32.txt -rw-r--r-- 6.4 KB
perf-old-vm-over-new-extraction--only-UnsaturatedSolinas-x64.txt -rw-r--r-- 6.5 KB
perf-old-vm-over-new-extraction--only-WordByWordMontgomery-x32.txt -rw-r--r-- 8.6 KB
perf-old-vm-over-new-extraction--only-WordByWordMontgomery-x64.txt -rw-r--r-- 8.6 KB
perf-old-vm-over-new-extraction.txt -rw-r--r-- 30.1 KB
perf-old-vm-over-old-vm--only-UnsaturatedSolinas-x32.txt -rw-r--r-- 5.6 KB
perf-old-vm-over-old-vm--only-UnsaturatedSolinas-x64.txt -rw-r--r-- 5.6 KB
perf-old-vm-over-old-vm--only-WordByWordMontgomery-x32.txt -rw-r--r-- 7.5 KB
perf-old-vm-over-old-vm--only-WordByWordMontgomery-x64.txt -rw-r--r-- 7.5 KB
perf-old-vm-over-old-vm.txt -rw-r--r-- 26.2 KB
perf-old-vm-times--only-UnsaturatedSolinas-x32.txt -rw-r--r-- 5.7 KB
perf-old-vm-times--only-UnsaturatedSolinas-x64.txt -rw-r--r-- 5.8 KB
perf-old-vm-times--only-WordByWordMontgomery-x32.txt -rw-r--r-- 7.7 KB
perf-old-vm-times--only-WordByWordMontgomery-x64.txt -rw-r--r-- 7.6 KB
perf-old-vm-times.txt -rw-r--r-- 26.8 KB
perf.csv -rw-r--r-- 2.0 MB
primes.txt -rw-r--r-- 1.3 KB
secp256k1_32.c -rw-r--r-- 143.3 KB
secp256k1_64.c -rw-r--r-- 53.1 KB

README.md

back to top