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
-rw-r--r--
Asmblockdeps.patch
778
log
stats
plain
d---------
BearSSL
448
log
stats
plain
-rw-r--r--
Makefile
732
log
stats
plain
-rw-r--r--
PostpassSchedulingOracle.patch
1147
log
stats
plain
-rw-r--r--
README.md
1024
log
stats
plain
d---------
acswap
80
log
stats
plain
-rw-r--r--
benches.sh
382
log
stats
plain
d---------
binary_search
536
log
stats
plain
d---------
bitfields
83
log
stats
plain
d---------
bitsliced-aes
543
log
stats
plain
d---------
bitsliced-tea
261
log
stats
plain
-rwxr-xr-x
build_benches.sh
328
log
stats
plain
-rwxr-xr-x
clean_benches.sh
108
log
stats
plain
-rwxr-xr-x
clean_csv.sh
113
log
stats
plain
-rw-r--r--
clock.c
536
log
stats
plain
-rw-r--r--
clock.h
232
log
stats
plain
d---------
complex
79
log
stats
plain
d---------
crypto-algorithms
1170
log
stats
plain
d---------
csmith
36
log
stats
plain
-rw-r--r--
cycles.h
801
log
stats
plain
d---------
des
33
log
stats
plain
d---------
division
37
log
stats
plain
-rw-r--r--
dm_random.c
192
log
stats
plain
d---------
fill_buffer
41
log
stats
plain
d---------
float_mat
159
log
stats
plain
d---------
frame_pointer
98
log
stats
plain
d---------
genann
189
log
stats
plain
-rwxr-xr-x
gencompile.py
1174
log
stats
plain
-rwxr-xr-x
generate_makefiles.sh
123
log
stats
plain
-rwxr-xr-x
gengraphs.py
2869
log
stats
plain
-rwxr-xr-x
genmake.py
4717
log
stats
plain
d---------
glibc_qsort
205
log
stats
plain
d---------
glpk-4.65
137
log
stats
plain
d---------
heapsort
325
log
stats
plain
d---------
heptagon_radio_transmitter
536
log
stats
plain
d---------
idea
106
log
stats
plain
d---------
jpeg-6b
5680
log
stats
plain
d---------
jumptable
39
log
stats
plain
d---------
k1_builtins
203
log
stats
plain
-rw-r--r--
kill_pragma.h
19
log
stats
plain
d---------
latency
79
log
stats
plain
d---------
longjmp
37
log
stats
plain
d---------
loop
41
log
stats
plain
d---------
lustrev4_lustrec_heater_control
260
log
stats
plain
d---------
lustrev4_lv4_heater_control
221
log
stats
plain
d---------
lustrev4_lv6-en-2cgc_heater_control
394
log
stats
plain
d---------
lustrev6-carlightV2
280
log
stats
plain
d---------
lustrev6-convertible-2cgc
271
log
stats
plain
d---------
lustrev6-convertible-en-2cgc
309
log
stats
plain
d---------
lustrev6-convertible
271
log
stats
plain
d---------
madd
72
log
stats
plain
d---------
math
120
log
stats
plain
d---------
mbedtls
132
log
stats
plain
d---------
memcpy
41
log
stats
plain
d---------
micro-bunzip
115
log
stats
plain
d---------
minisat
320
log
stats
plain
d---------
mod_int_mat
150
log
stats
plain
d---------
multithreaded_volatile
74
log
stats
plain
d---------
nand
34
log
stats
plain
d---------
ncompress
190
log
stats
plain
d---------
number_theoretic_transform
71
log
stats
plain
d---------
ocaml
248
log
stats
plain
d---------
pcre2-10.32
1714
log
stats
plain
d---------
picosat-965
615
log
stats
plain
d---------
predicated
84
log
stats
plain
d---------
quest
36
log
stats
plain
d---------
quicksort
272
log
stats
plain
d---------
regalloc
201
log
stats
plain
d---------
rotate
36
log
stats
plain
-rw-r--r--
rules.mk
1596
log
stats
plain
-rwxr-xr-x
run_benches.sh
489
log
stats
plain
d---------
send_through
172
log
stats
plain
d---------
sha-2
225
log
stats
plain
d---------
sizeof
36
log
stats
plain
d---------
slow_globals
85
log
stats
plain
d---------
tacle-bench-lift
316
log
stats
plain
d---------
tacle-bench-powerwindow
792
log
stats
plain
d---------
ternary
75
log
stats
plain
d---------
ternary_builtin
45
log
stats
plain
d---------
tiff-4.0.10
2353
log
stats
plain
d---------
tiny-AES-c
289
log
stats
plain
d---------
too_slow
93
log
stats
plain
d---------
uzlib
273
log
stats
plain
d---------
varargs
73
log
stats
plain
-rwxr-xr-x
vocabulary.sh
192
log
stats
plain
d---------
volatile
86
log
stats
plain
d---------
xor_and_mat
153
log
stats
plain
d---------
yarpgen
36
log
stats
plain
d---------
zlib-1.2.11
1057
log
stats
plain