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
3793
log
stats
plain
-rw-r--r--
AddCasts.ml
8324
log
stats
plain
-rw-r--r--
AddCasts.mli
1087
log
stats
plain
-rw-r--r--
Bitfields.ml
17182
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
6687
log
stats
plain
-rw-r--r--
Cabs.ml
11158
log
stats
plain
-rw-r--r--
Cabshelper.ml
3754
log
stats
plain
-rw-r--r--
Ceval.ml
9051
log
stats
plain
-rw-r--r--
Ceval.mli
1152
log
stats
plain
-rw-r--r--
Cleanup.ml
6645
log
stats
plain
-rw-r--r--
Cleanup.mli
1074
log
stats
plain
-rw-r--r--
Cprint.ml
16877
log
stats
plain
-rw-r--r--
Cprint.mli
1816
log
stats
plain
-rw-r--r--
Cutil.ml
24016
log
stats
plain
-rw-r--r--
Cutil.mli
8245
log
stats
plain
-rw-r--r--
Elab.ml
64043
log
stats
plain
-rw-r--r--
Elab.mli
1100
log
stats
plain
-rw-r--r--
Env.ml
7206
log
stats
plain
-rw-r--r--
Env.mli
3081
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
4048
log
stats
plain
-rw-r--r--
Machine.mli
1859
log
stats
plain
-rw-r--r--
Main.ml
3341
log
stats
plain
-rw-r--r--
Makefile
1890
log
stats
plain
-rw-r--r--
PackedStructs.ml
14277
log
stats
plain
-rw-r--r--
Parse.ml
2491
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
8159
log
stats
plain
-rw-r--r--
Rename.mli
1074
log
stats
plain
-rw-r--r--
SimplExpr.ml
19200
log
stats
plain
-rw-r--r--
SimplExpr.mli
1223
log
stats
plain
-rw-r--r--
StructAssign.ml
7109
log
stats
plain
-rw-r--r--
StructAssign.mli
1134
log
stats
plain
-rw-r--r--
StructByValue.ml
11068
log
stats
plain
-rw-r--r--
StructByValue.mli
1073
log
stats
plain
-rw-r--r--
Transform.ml
2974
log
stats
plain
-rw-r--r--
Transform.mli
1770
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