index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
test
/
monniaux
/
BearSSL
/
src
/
int
Mode
Name
Size
-rw-r--r--
i15_add.c
1488
log
stats
plain
-rw-r--r--
i15_bitlen.c
1454
log
stats
plain
-rw-r--r--
i15_decmod.c
3534
log
stats
plain
-rw-r--r--
i15_decode.c
1629
log
stats
plain
-rw-r--r--
i15_decred.c
2585
log
stats
plain
-rw-r--r--
i15_encode.c
1639
log
stats
plain
-rw-r--r--
i15_fmont.c
1900
log
stats
plain
-rw-r--r--
i15_iszero.c
1349
log
stats
plain
-rw-r--r--
i15_moddiv.c
12540
log
stats
plain
-rw-r--r--
i15_modpow.c
1718
log
stats
plain
-rw-r--r--
i15_modpow2.c
4155
log
stats
plain
-rw-r--r--
i15_montmul.c
7450
log
stats
plain
-rw-r--r--
i15_mulacc.c
1894
log
stats
plain
-rw-r--r--
i15_muladd.c
4676
log
stats
plain
-rw-r--r--
i15_ninv15.c
1383
log
stats
plain
-rw-r--r--
i15_reduce.c
2023
log
stats
plain
-rw-r--r--
i15_rshift.c
1479
log
stats
plain
-rw-r--r--
i15_sub.c
1488
log
stats
plain
-rw-r--r--
i15_tmont.c
1335
log
stats
plain
-rw-r--r--
i31_add.c
1502
log
stats
plain
-rw-r--r--
i31_bitlen.c
1454
log
stats
plain
-rw-r--r--
i31_decmod.c
3538
log
stats
plain
-rw-r--r--
i31_decode.c
1666
log
stats
plain
-rw-r--r--
i31_decred.c
2634
log
stats
plain
-rw-r--r--
i31_encode.c
2033
log
stats
plain
-rw-r--r--
i31_fmont.c
1929
log
stats
plain
-rw-r--r--
i31_iszero.c
1349
log
stats
plain
-rw-r--r--
i31_moddiv.c
13220
log
stats
plain
-rw-r--r--
i31_modpow.c
2158
log
stats
plain
-rw-r--r--
i31_modpow2.c
4155
log
stats
plain
-rw-r--r--
i31_montmul.c
3840
log
stats
plain
-rw-r--r--
i31_mulacc.c
2289
log
stats
plain
-rw-r--r--
i31_muladd.c
4614
log
stats
plain
-rw-r--r--
i31_ninv31.c
1359
log
stats
plain
-rw-r--r--
i31_reduce.c
2023
log
stats
plain
-rw-r--r--
i31_rshift.c
1483
log
stats
plain
-rw-r--r--
i31_sub.c
1492
log
stats
plain
-rw-r--r--
i31_tmont.c
1335
log
stats
plain
-rw-r--r--
i32_add.c
1606
log
stats
plain
-rw-r--r--
i32_bitlen.c
1454
log
stats
plain
-rw-r--r--
i32_decmod.c
2256
log
stats
plain
-rw-r--r--
i32_decode.c
1721
log
stats
plain
-rw-r--r--
i32_decred.c
2730
log
stats
plain
-rw-r--r--
i32_div32.c
1702
log
stats
plain
-rw-r--r--
i32_encode.c
1922
log
stats
plain
-rw-r--r--
i32_fmont.c
1905
log
stats
plain
-rw-r--r--
i32_iszero.c
1349
log
stats
plain
-rw-r--r--
i32_modpow.c
2158
log
stats
plain
-rw-r--r--
i32_montmul.c
2027
log
stats
plain
-rw-r--r--
i32_mulacc.c
1686
log
stats
plain
-rw-r--r--
i32_muladd.c
4153
log
stats
plain
-rw-r--r--
i32_ninv32.c
1346
log
stats
plain
-rw-r--r--
i32_reduce.c
2023
log
stats
plain
-rw-r--r--
i32_sub.c
1606
log
stats
plain
-rw-r--r--
i32_tmont.c
1335
log
stats
plain
-rw-r--r--
i62_modpow2.c
13014
log
stats
plain