aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
ModeNameSize
-rw-r--r--Bitfields.ml15710logstatsplain
-rw-r--r--Bitfields.mli1073logstatsplain
-rw-r--r--Builtins.ml1996logstatsplain
-rw-r--r--Builtins.mli1274logstatsplain
-rw-r--r--C.mli7070logstatsplain
-rw-r--r--Cabs.v8521logstatsplain
-rw-r--r--Cabshelper.ml2752logstatsplain
-rw-r--r--Cerrors.ml2052logstatsplain
-rw-r--r--Cerrors.mli1433logstatsplain
-rw-r--r--Ceval.ml9134logstatsplain
-rw-r--r--Ceval.mli1198logstatsplain
-rw-r--r--Cleanup.ml6974logstatsplain
-rw-r--r--Cleanup.mli1074logstatsplain
-rw-r--r--Cprint.ml17330logstatsplain
-rw-r--r--Cprint.mli1874logstatsplain
-rw-r--r--Cutil.ml28149logstatsplain
-rw-r--r--Cutil.mli9412logstatsplain
-rw-r--r--Elab.ml80364logstatsplain
-rw-r--r--Elab.mli1087logstatsplain
-rw-r--r--Env.ml8061logstatsplain
-rw-r--r--Env.mli3313logstatsplain
-rw-r--r--GCC.ml11974logstatsplain
-rw-r--r--GCC.mli1083logstatsplain
-rw-r--r--Lexer.mll22128logstatsplain
-rw-r--r--Machine.ml4719logstatsplain
-rw-r--r--Machine.mli1922logstatsplain
-rw-r--r--PackedStructs.ml14830logstatsplain
-rw-r--r--Parse.ml2744logstatsplain
-rw-r--r--Parse.mli1309logstatsplain
-rw-r--r--Parser.v5802395logstatsplain
-rw-r--r--Parser.vy30350logstatsplain
-rw-r--r--Rename.ml8714logstatsplain
-rw-r--r--Rename.mli1074logstatsplain
-rw-r--r--StructReturn.ml10861logstatsplain
-rw-r--r--StructReturn.mli1073logstatsplain
-rw-r--r--Transform.ml7445logstatsplain
-rw-r--r--Transform.mli3314logstatsplain
-rw-r--r--Unblock.ml10736logstatsplain
-rw-r--r--Unblock.mli1139logstatsplain
-rw-r--r--pre_parser.mly17679logstatsplain
-rw-r--r--pre_parser_aux.ml1373logstatsplain
d---------validator462logstatsplain