index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Specific
Mode
Name
Size
d---------
CurveParameters
17427
log
plain
d---------
Framework
556
log
plain
-rw-r--r--
IntegrationTestKaratsubaMulDisplay.log
4447
log
plain
-rw-r--r--
IntegrationTestLadderstep130Display.log
11703
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128.v
7367
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128Display.log
2276
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128Display.v
157
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_Add.v
7353
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_AddDisplay.log
659
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_AddDisplay.v
161
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_Nonzero.v
5477
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_NonzeroDisplay.log
184
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_NonzeroDisplay.v
169
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_Opp.v
7327
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_OppDisplay.log
615
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_OppDisplay.v
161
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_Sub.v
7353
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_SubDisplay.log
668
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_SubDisplay.v
161
log
plain
-rw-r--r--
IntegrationTestSquareDisplayHandPostLinearizedCSE.log
2677
log
plain
-rw-r--r--
MontgomeryP256_128.v
19567
log
plain
d---------
NISTP256
74
log
plain
d---------
X2448
/
Karatsuba
/
C64
36
log
plain
d---------
X25519
152
log
plain
d---------
X2555
/
C128
31
log
plain