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--
Bitfields.ml
20328
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
7372
log
stats
plain
-rw-r--r--
Cabs.v
8882
log
stats
plain
-rw-r--r--
Cabshelper.ml
2479
log
stats
plain
-rw-r--r--
Ceval.ml
12423
log
stats
plain
-rw-r--r--
Ceval.mli
1289
log
stats
plain
-rw-r--r--
Cflow.ml
10033
log
stats
plain
-rw-r--r--
Cflow.mli
1451
log
stats
plain
-rw-r--r--
Checks.ml
7529
log
stats
plain
-rw-r--r--
Checks.mli
1123
log
stats
plain
-rw-r--r--
Cleanup.ml
7504
log
stats
plain
-rw-r--r--
Cleanup.mli
1074
log
stats
plain
-rw-r--r--
Cprint.ml
18973
log
stats
plain
-rw-r--r--
Cprint.mli
2026
log
stats
plain
-rw-r--r--
Cutil.ml
39922
log
stats
plain
-rw-r--r--
Cutil.mli
13050
log
stats
plain
-rw-r--r--
Diagnostics.ml
13898
log
stats
plain
-rw-r--r--
Diagnostics.mli
5303
log
stats
plain
-rw-r--r--
Elab.ml
117136
log
stats
plain
-rw-r--r--
Elab.mli
1584
log
stats
plain
-rw-r--r--
Env.ml
8726
log
stats
plain
-rw-r--r--
Env.mli
3300
log
stats
plain
-rw-r--r--
ErrorReports.ml
9750
log
stats
plain
-rw-r--r--
ErrorReports.mli
1874
log
stats
plain
-rw-r--r--
ExtendedAsm.ml
7443
log
stats
plain
-rw-r--r--
GCC.ml
12997
log
stats
plain
-rw-r--r--
GCC.mli
1152
log
stats
plain
-rw-r--r--
GNUmakefile
7482
log
stats
plain
-rw-r--r--
Lexer.mll
24854
log
stats
plain
-rw-r--r--
Machine.ml
8111
log
stats
plain
-rw-r--r--
Machine.mli
2903
log
stats
plain
-rw-r--r--
PackedStructs.ml
14718
log
stats
plain
-rw-r--r--
Parse.ml
3483
log
stats
plain
-rw-r--r--
Parse.mli
1302
log
stats
plain
-rw-r--r--
Parser.vy
32391
log
stats
plain
-rw-r--r--
Rename.ml
8993
log
stats
plain
-rw-r--r--
Rename.mli
1074
log
stats
plain
-rw-r--r--
StructPassing.ml
21722
log
stats
plain
-rw-r--r--
StructPassing.mli
1073
log
stats
plain
-rw-r--r--
Transform.ml
7793
log
stats
plain
-rw-r--r--
Transform.mli
3334
log
stats
plain
-rw-r--r--
Unblock.ml
14601
log
stats
plain
-rw-r--r--
Unblock.mli
1139
log
stats
plain
-rw-r--r--
deLexer.ml
4252
log
stats
plain
-rw-r--r--
handcrafted.messages
269505
log
stats
plain
-rw-r--r--
pre_parser.mly
26590
log
stats
plain
-rw-r--r--
pre_parser_aux.ml
1316
log
stats
plain
-rw-r--r--
pre_parser_aux.mli
1427
log
stats
plain
d---------
tests
74
log
stats
plain
d---------
validator
462
log
stats
plain