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
-rw-r--r--
ArithmeticSynthesisTest130.v
8139
log
plain
-rw-r--r--
CurveParameters.v
4216
log
plain
-rw-r--r--
IntegrationTestDisplayCommon.v
1193
log
plain
-rw-r--r--
IntegrationTestDisplayCommonTactics.v
5689
log
plain
-rw-r--r--
IntegrationTestFreeze.v
4040
log
plain
-rw-r--r--
IntegrationTestFreezeDisplay.log
1219
log
plain
-rw-r--r--
IntegrationTestFreezeDisplay.v
138
log
plain
-rw-r--r--
IntegrationTestKaratsubaMul.v
2474
log
plain
-rw-r--r--
IntegrationTestKaratsubaMulDisplay.log
4253
log
plain
-rw-r--r--
IntegrationTestKaratsubaMulDisplay.v
141
log
plain
-rw-r--r--
IntegrationTestLadderstep130.v
6504
log
plain
-rw-r--r--
IntegrationTestLadderstep130Display.log
11197
log
plain
-rw-r--r--
IntegrationTestLadderstep130Display.v
151
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128.v
7357
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128Display.log
2274
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128Display.v
147
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_Add.v
7343
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_AddDisplay.log
659
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_AddDisplay.v
151
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_Nonzero.v
5467
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_NonzeroDisplay.log
182
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_NonzeroDisplay.v
159
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_Opp.v
7317
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_OppDisplay.log
611
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_OppDisplay.v
151
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_Sub.v
7343
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_SubDisplay.log
664
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128_SubDisplay.v
151
log
plain
-rw-r--r--
IntegrationTestSquareDisplayHandPostLinearizedCSE.log
2677
log
plain
-rw-r--r--
IntegrationTestSub.v
4204
log
plain
-rw-r--r--
IntegrationTestSubDisplay.log
1278
log
plain
-rw-r--r--
IntegrationTestSubDisplay.v
132
log
plain
-rw-r--r--
IntegrationTestTemporaryMiscCommon.v
11894
log
plain
-rw-r--r--
Karatsuba.v
12319
log
plain
-rw-r--r--
MontgomeryP256_128.v
19567
log
plain
d---------
NISTP256
74
log
plain
d---------
X25519
152
log
plain