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--
ArithmeticSynthesisTest.v
11720
log
plain
-rw-r--r--
ArithmeticSynthesisTest130.v
8136
log
plain
d---------
FancyMachine256
111
log
plain
-rw-r--r--
IntegrationTestDisplayCommon.v
3777
log
plain
-rw-r--r--
IntegrationTestFreeze.v
6763
log
plain
-rw-r--r--
IntegrationTestFreezeDisplay.log
1220
log
plain
-rw-r--r--
IntegrationTestFreezeDisplay.v
138
log
plain
-rw-r--r--
IntegrationTestKaratsubaMul.v
3313
log
plain
-rw-r--r--
IntegrationTestKaratsubaMulDisplay.log
4267
log
plain
-rw-r--r--
IntegrationTestKaratsubaMulDisplay.v
141
log
plain
-rw-r--r--
IntegrationTestLadderstep130.v
6634
log
plain
-rw-r--r--
IntegrationTestLadderstep130Display.log
11197
log
plain
-rw-r--r--
IntegrationTestLadderstep130Display.v
151
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256.v
6496
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256Display.log
8759
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256Display.v
150
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128.v
6503
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128Display.log
4750
log
plain
-rw-r--r--
IntegrationTestMontgomeryP256_128Display.v
154
log
plain
-rw-r--r--
IntegrationTestSquareDisplayHandPostLinearizedCSE.log
2677
log
plain
-rw-r--r--
IntegrationTestSub.v
6713
log
plain
-rw-r--r--
IntegrationTestSubDisplay.log
1278
log
plain
-rw-r--r--
IntegrationTestSubDisplay.v
132
log
plain
-rw-r--r--
IntegrationTestTemporaryMiscCommon.v
3370
log
plain
-rw-r--r--
Karatsuba.v
13675
log
plain
-rw-r--r--
MontgomeryP256.v
4087
log
plain
-rw-r--r--
MontgomeryP256_128.v
4089
log
plain
d---------
X25519
/
C64
30
log
plain