index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
test
/
regression
/
Results
Mode
Name
Size
-rw-r--r--
alignas
442
log
stats
plain
-rw-r--r--
attribs1
148
log
stats
plain
-rw-r--r--
binops
3821
log
stats
plain
-rw-r--r--
bitfields1
69
log
stats
plain
-rw-r--r--
bitfields2
77
log
stats
plain
-rw-r--r--
bitfields3
38
log
stats
plain
-rw-r--r--
bitfields4
188
log
stats
plain
-rw-r--r--
bitfields5
74
log
stats
plain
-rw-r--r--
bitfields6
12
log
stats
plain
-rw-r--r--
bitfields7
12
log
stats
plain
-rw-r--r--
bitfields8
70
log
stats
plain
-rw-r--r--
bitfields9
322
log
stats
plain
-rw-r--r--
bool
60
log
stats
plain
-rw-r--r--
builtins-arm
212
log
stats
plain
-rw-r--r--
builtins-ia32
296
log
stats
plain
-rw-r--r--
builtins-powerpc
638
log
stats
plain
-rw-r--r--
casts1
6
log
stats
plain
-rw-r--r--
casts2
12
log
stats
plain
-rw-r--r--
casts3
1001
log
stats
plain
-rw-r--r--
char1
520
log
stats
plain
-rw-r--r--
compar
86
log
stats
plain
-rw-r--r--
compound
553
log
stats
plain
-rw-r--r--
decl1
12
log
stats
plain
-rw-r--r--
expr1
10
log
stats
plain
-rw-r--r--
expr5
2
log
stats
plain
-rw-r--r--
expr6
181
log
stats
plain
-rw-r--r--
floats
21
log
stats
plain
-rw-r--r--
floats-basics
21
log
stats
plain
-rw-r--r--
for1
150
log
stats
plain
-rw-r--r--
funct3
9
log
stats
plain
-rw-r--r--
funptr2
40
log
stats
plain
-rw-r--r--
initializers
607
log
stats
plain
-rw-r--r--
initializers2
301
log
stats
plain
-rw-r--r--
initializers3
473
log
stats
plain
-rw-r--r--
instrsel
545
log
stats
plain
-rw-r--r--
int32
73491
log
stats
plain
-rw-r--r--
int64
103462
log
stats
plain
-rw-r--r--
interop1
3164
log
stats
plain
-rw-r--r--
packedstruct1
725
log
stats
plain
-rw-r--r--
packedstruct2
185
log
stats
plain
-rw-r--r--
ptrs3
21
log
stats
plain
-rw-r--r--
sections
1232
log
stats
plain
-rw-r--r--
sizeof1
122
log
stats
plain
-rw-r--r--
sizeof2
4
log
stats
plain
-rw-r--r--
struct11
2
log
stats
plain
-rw-r--r--
struct12
0
log
stats
plain
-rw-r--r--
struct7
229
log
stats
plain
-rw-r--r--
struct8
188
log
stats
plain
-rw-r--r--
switch
240
log
stats
plain
-rw-r--r--
switch2
546
log
stats
plain
-rw-r--r--
varargs1
10
log
stats
plain
-rw-r--r--
varargs2
472
log
stats
plain
-rw-r--r--
volatile1
38
log
stats
plain
-rw-r--r--
volatile2
628
log
stats
plain
-rw-r--r--
volatile3
297
log
stats
plain