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
/
cparser
Mode
Name
Size
-rw-r--r--
.depend
3511
log
stats
plain
-rw-r--r--
AddCasts.ml
8267
log
stats
plain
-rw-r--r--
AddCasts.mli
1087
log
stats
plain
-rw-r--r--
Bitfields.ml
10956
log
stats
plain
-rw-r--r--
Bitfields.mli
1073
log
stats
plain
-rw-r--r--
Builtins.ml
1996
log
stats
plain
-rw-r--r--
Builtins.mli
1274
log
stats
plain
-rw-r--r--
C.mli
6499
log
stats
plain
-rw-r--r--
Cabs.ml
11158
log
stats
plain
-rw-r--r--
Cabshelper.ml
3775
log
stats
plain
-rw-r--r--
Ceval.ml
9011
log
stats
plain
-rw-r--r--
Ceval.mli
1152
log
stats
plain
-rw-r--r--
Cleanup.ml
6636
log
stats
plain
-rw-r--r--
Cleanup.mli
1074
log
stats
plain
-rw-r--r--
Cprint.ml
16432
log
stats
plain
-rw-r--r--
Cprint.mli
1816
log
stats
plain
-rw-r--r--
Cutil.ml
22226
log
stats
plain
-rw-r--r--
Cutil.mli
7328
log
stats
plain
-rw-r--r--
Elab.ml
62615
log
stats
plain
-rw-r--r--
Elab.mli
1100
log
stats
plain
-rw-r--r--
Env.ml
7062
log
stats
plain
-rw-r--r--
Env.mli
2859
log
stats
plain
-rw-r--r--
Errors.ml
1972
log
stats
plain
-rw-r--r--
Errors.mli
1361
log
stats
plain
-rw-r--r--
GCC.ml
12273
log
stats
plain
-rw-r--r--
GCC.mli
1083
log
stats
plain
-rw-r--r--
Lexer.mli
2371
log
stats
plain
-rw-r--r--
Lexer.mll
20769
log
stats
plain
-rw-r--r--
Machine.ml
3604
log
stats
plain
-rw-r--r--
Machine.mli
1764
log
stats
plain
-rw-r--r--
Main.ml
3341
log
stats
plain
-rw-r--r--
Makefile
1840
log
stats
plain
-rw-r--r--
Parse.ml
2423
log
stats
plain
-rw-r--r--
Parse.mli
1309
log
stats
plain
-rwxr-xr-x
Parse_aux.ml
1805
log
stats
plain
-rw-r--r--
Parse_aux.mli
1279
log
stats
plain
-rw-r--r--
Parser.mly
56434
log
stats
plain
-rw-r--r--
Rename.ml
8128
log
stats
plain
-rw-r--r--
Rename.mli
1074
log
stats
plain
-rw-r--r--
SimplExpr.ml
19144
log
stats
plain
-rw-r--r--
SimplExpr.mli
1223
log
stats
plain
-rw-r--r--
StructAssign.ml
5336
log
stats
plain
-rw-r--r--
StructAssign.mli
1134
log
stats
plain
-rw-r--r--
StructByValue.ml
8515
log
stats
plain
-rw-r--r--
StructByValue.mli
1073
log
stats
plain
-rw-r--r--
Transform.ml
3011
log
stats
plain
-rw-r--r--
Transform.mli
1541
log
stats
plain
-rw-r--r--
Unblock.ml
4749
log
stats
plain
-rw-r--r--
Unblock.mli
1139
log
stats
plain
-rw-r--r--
uint64.c
1695
log
stats
plain