index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Specific
/
NISTP256
/
AMD64
Mode
Name
Size
-rw-r--r--
IntegrationTestMontgomeryP256.v
7246
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256Display.log
6654
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256Display.v
158
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_Add.v
8496
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_AddDisplay.log
1039
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_AddDisplay.v
162
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_Nonzero.v
5651
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_NonzeroDisplay.log
268
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_NonzeroDisplay.v
170
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_Opp.v
8443
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_OppDisplay.log
919
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_OppDisplay.v
162
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_Sub.v
8496
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_SubDisplay.log
997
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_SubDisplay.v
162
log
plain
-rw-r--r--
MontgomeryP256.v
15983
log
plain
-rw-r--r--
bench_madd.c
152
log
plain
-rwxr-xr-x
compiler.sh
120
log
plain
d---------
icc
143
log
plain
-rw-r--r--
measurements.txt
118
log
plain
-rw-r--r--
p256.h
121
log
plain
-rw-r--r--
p256_jacobian_add_affine.c
21676
log
plain