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--
.gitignore
176
log
stats
plain
-rw-r--r--
Asmblockdeps.patch
778
log
stats
plain
d---------
BearSSL
448
log
stats
plain
-rw-r--r--
Makefile
1283
log
stats
plain
-rw-r--r--
PostpassSchedulingOracle.patch
1148
log
stats
plain
-rw-r--r--
README.md
5151
log
stats
plain
d---------
acswap
80
log
stats
plain
-rw-r--r--
benches.sh
459
log
stats
plain
d---------
binary_search
79
log
stats
plain
d---------
bitfields
83
log
stats
plain
d---------
bitsliced-aes
489
log
stats
plain
d---------
bitsliced-tea
259
log
stats
plain
-rwxr-xr-x
build_benches.sh
554
log
stats
plain
d---------
builtins
33
log
stats
plain
-rwxr-xr-x
clean_benches.sh
190
log
stats
plain
-rwxr-xr-x
clean_csv.sh
113
log
stats
plain
-rw-r--r--
clock.c
564
log
stats
plain
-rw-r--r--
clock.h
232
log
stats
plain
d---------
complex
77
log
stats
plain
d---------
crypto-algorithms
1170
log
stats
plain
d---------
cse2
121
log
stats
plain
d---------
csmith
36
log
stats
plain
-rw-r--r--
cycles.h
2262
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
157
log
stats
plain
d---------
frame_pointer
98
log
stats
plain
d---------
genann
187
log
stats
plain
d---------
glibc_qsort
203
log
stats
plain
d---------
glpk-4.65
137
log
stats
plain
d---------
heapsort
323
log
stats
plain
d---------
heptagon_radio_transmitter
534
log
stats
plain
d---------
idea
104
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
42
log
stats
plain
d---------
longjmp
37
log
stats
plain
d---------
loop
41
log
stats
plain
d---------
lustrev4_lustrec_heater_control
258
log
stats
plain
d---------
lustrev4_lv4_heater_control
257
log
stats
plain
d---------
lustrev4_lv6-en-2cgc_heater_control
392
log
stats
plain
d---------
lustrev6-carlightV2
280
log
stats
plain
d---------
lustrev6-convertible-2cgc
271
log
stats
plain
d---------
lustrev6-convertible-en-2cgc
307
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---------
moves
35
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
69
log
stats
plain
d---------
ocaml
248
log
stats
plain
d---------
pcre2-10.32
1671
log
stats
plain
d---------
picosat-965
615
log
stats
plain
d---------
predicated
44
log
stats
plain
d---------
quest
36
log
stats
plain
d---------
quicksort
270
log
stats
plain
d---------
regalloc
201
log
stats
plain
d---------
rotate
36
log
stats
plain
-rw-r--r--
rules.mk
3901
log
stats
plain
-rwxr-xr-x
run_benches.sh
566
log
stats
plain
d---------
sandbox
250
log
stats
plain
d---------
send_through
172
log
stats
plain
d---------
sha-2
223
log
stats
plain
d---------
sizeof
36
log
stats
plain
d---------
slow_globals
85
log
stats
plain
d---------
tacle-bench-lift
314
log
stats
plain
d---------
tacle-bench-powerwindow
790
log
stats
plain
d---------
ternary
75
log
stats
plain
d---------
ternary_builtin
45
log
stats
plain
d---------
tiff-4.0.10
2395
log
stats
plain
d---------
tiny-AES-c
289
log
stats
plain
d---------
too_slow
91
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
151
log
stats
plain
d---------
yarpgen
76
log
stats
plain
d---------
zlib-1.2.11
1099
log
stats
plain