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
Mode
Name
Size
d---------
BearSSL
448
log
stats
plain
d---------
bitsliced-aes
417
log
stats
plain
d---------
bitsliced-tea
226
log
stats
plain
-rw-r--r--
clock.c
477
log
stats
plain
-rw-r--r--
clock.h
199
log
stats
plain
d---------
crypto-algorithms
1170
log
stats
plain
-rw-r--r--
cycles.h
637
log
stats
plain
d---------
des
33
log
stats
plain
d---------
fill_buffer
41
log
stats
plain
d---------
float_mat
157
log
stats
plain
d---------
frame_pointer
98
log
stats
plain
d---------
glibc_qsort
203
log
stats
plain
d---------
heapsort
323
log
stats
plain
d---------
idea
104
log
stats
plain
d---------
jpeg-6b
5639
log
stats
plain
d---------
latency
79
log
stats
plain
d---------
loop
41
log
stats
plain
d---------
mbedtls
132
log
stats
plain
d---------
micro-bunzip
115
log
stats
plain
d---------
mod_int_mat
150
log
stats
plain
d---------
ncompress
190
log
stats
plain
d---------
number_theoretic_transform
69
log
stats
plain
d---------
picosat-965
678
log
stats
plain
d---------
quicksort
270
log
stats
plain
d---------
regalloc
163
log
stats
plain
-rw-r--r--
rules.mk
912
log
stats
plain
d---------
send_through
172
log
stats
plain
d---------
sha-2
223
log
stats
plain
d---------
sizeof
36
log
stats
plain
d---------
tiny-AES-c
289
log
stats
plain
d---------
uzlib
273
log
stats
plain
d---------
varargs
37
log
stats
plain
d---------
xor_and_mat
151
log
stats
plain