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
Mode
Name
Size
-rw-r--r--
Makefile
2629
log
stats
plain
-rw-r--r--
NaNs.c
1957
log
stats
plain
d---------
Results
1709
log
stats
plain
-rw-r--r--
alignas.c
2324
log
stats
plain
-rw-r--r--
annot1.c
1302
log
stats
plain
-rw-r--r--
attribs1.c
1394
log
stats
plain
-rw-r--r--
binops.c
1483
log
stats
plain
-rw-r--r--
bitfields1.c
536
log
stats
plain
-rw-r--r--
bitfields2.c
481
log
stats
plain
-rw-r--r--
bitfields3.c
200
log
stats
plain
-rw-r--r--
bitfields4.c
728
log
stats
plain
-rw-r--r--
bitfields5.c
423
log
stats
plain
-rw-r--r--
bitfields6.c
245
log
stats
plain
-rw-r--r--
bitfields7.c
258
log
stats
plain
-rw-r--r--
bitfields8.c
415
log
stats
plain
-rw-r--r--
bool.c
514
log
stats
plain
-rw-r--r--
builtins-arm.c
861
log
stats
plain
-rw-r--r--
builtins-ia32.c
958
log
stats
plain
-rw-r--r--
builtins-powerpc.c
1744
log
stats
plain
-rw-r--r--
casts1.c
137
log
stats
plain
-rw-r--r--
casts2.c
215
log
stats
plain
-rw-r--r--
casts3.c
1103
log
stats
plain
-rw-r--r--
char1.c
241
log
stats
plain
-rwxr-xr-x
check-pragmas
365
log
stats
plain
-rw-r--r--
commaprec.c
91
log
stats
plain
-rw-r--r--
compar.c
1519
log
stats
plain
-rw-r--r--
expr1.c
237
log
stats
plain
-rw-r--r--
expr2.c
78
log
stats
plain
-rw-r--r--
expr3.c
94
log
stats
plain
-rw-r--r--
expr4.c
88
log
stats
plain
-rw-r--r--
expr5.c
136
log
stats
plain
-rw-r--r--
expr6.c
855
log
stats
plain
-rw-r--r--
extern1.c
76
log
stats
plain
-rw-r--r--
floats-basics.c
2019
log
stats
plain
-rw-r--r--
floats.c
898587
log
stats
plain
-rw-r--r--
for1.c
470
log
stats
plain
-rw-r--r--
funct1.c
124
log
stats
plain
-rw-r--r--
funct2.c
63
log
stats
plain
-rw-r--r--
funct3.c
174
log
stats
plain
-rw-r--r--
funptr1.c
250
log
stats
plain
-rw-r--r--
funptr2.c
337
log
stats
plain
-rw-r--r--
init1.c
138
log
stats
plain
-rw-r--r--
init2.c
159
log
stats
plain
-rw-r--r--
init3.c
142
log
stats
plain
-rw-r--r--
init4.c
186
log
stats
plain
-rw-r--r--
initializers.c
2863
log
stats
plain
-rw-r--r--
initializers2.c
1919
log
stats
plain
-rw-r--r--
initializers3.c
2078
log
stats
plain
-rw-r--r--
instrsel.c
3541
log
stats
plain
-rw-r--r--
int32.c
2741
log
stats
plain
-rw-r--r--
int64.c
2822
log
stats
plain
-rw-r--r--
packedstruct1.c
3268
log
stats
plain
-rw-r--r--
packedstruct2.c
1158
log
stats
plain
-rw-r--r--
pragmas.c
1264
log
stats
plain
-rw-r--r--
ptrs1.c
68
log
stats
plain
-rw-r--r--
ptrs2.c
479
log
stats
plain
-rw-r--r--
seqops.c
2664
log
stats
plain
-rw-r--r--
sizeof1.c
948
log
stats
plain
-rw-r--r--
sizeof2.c
154
log
stats
plain
-rw-r--r--
struct1.c
100
log
stats
plain
-rw-r--r--
struct10.c
49
log
stats
plain
-rw-r--r--
struct11.c
461
log
stats
plain
-rw-r--r--
struct2.c
88
log
stats
plain
-rw-r--r--
struct3.c
238
log
stats
plain
-rw-r--r--
struct4.c
166
log
stats
plain
-rw-r--r--
struct5.c
544
log
stats
plain
-rw-r--r--
struct6.c
179
log
stats
plain
-rw-r--r--
struct7.c
1252
log
stats
plain
-rw-r--r--
struct8.c
927
log
stats
plain
-rw-r--r--
struct9.c
186
log
stats
plain
-rw-r--r--
switch.c
656
log
stats
plain
-rw-r--r--
types1.c
247
log
stats
plain
-rw-r--r--
varargs1.c
362
log
stats
plain
-rw-r--r--
varargs2.c
3165
log
stats
plain
-rw-r--r--
volatile1.c
390
log
stats
plain
-rw-r--r--
volatile2.c
1584
log
stats
plain
-rw-r--r--
volatile3.c
1321
log
stats
plain