summaryrefslogtreecommitdiff
path: root/cparser
ModeNameSize
-rw-r--r--.depend3669logplain
-rw-r--r--AddCasts.ml8324logplain
-rw-r--r--AddCasts.mli1087logplain
-rw-r--r--Bitfields.ml17161logplain
-rw-r--r--Bitfields.mli1073logplain
-rw-r--r--Builtins.ml1996logplain
-rw-r--r--Builtins.mli1274logplain
-rw-r--r--C.mli6621logplain
-rw-r--r--Cabs.ml11158logplain
-rw-r--r--Cabshelper.ml3754logplain
-rw-r--r--Ceval.ml9011logplain
-rw-r--r--Ceval.mli1152logplain
-rw-r--r--Cleanup.ml6636logplain
-rw-r--r--Cleanup.mli1074logplain
-rw-r--r--Cprint.ml16809logplain
-rw-r--r--Cprint.mli1816logplain
-rw-r--r--Cutil.ml22969logplain
-rw-r--r--Cutil.mli8030logplain
-rw-r--r--Elab.ml63792logplain
-rw-r--r--Elab.mli1100logplain
-rw-r--r--Env.ml7141logplain
-rw-r--r--Env.mli3016logplain
-rw-r--r--Errors.ml1972logplain
-rw-r--r--Errors.mli1361logplain
-rw-r--r--GCC.ml12273logplain
-rw-r--r--GCC.mli1083logplain
-rw-r--r--Lexer.mli2371logplain
-rw-r--r--Lexer.mll20769logplain
-rw-r--r--Machine.ml4048logplain
-rw-r--r--Machine.mli1859logplain
-rw-r--r--Main.ml3341logplain
-rw-r--r--Makefile1873logplain
-rw-r--r--Parse.ml2422logplain
-rw-r--r--Parse.mli1309logplain
-rwxr-xr-xParse_aux.ml1805logplain
-rw-r--r--Parse_aux.mli1279logplain
-rw-r--r--Parser.mly56434logplain
-rw-r--r--Rename.ml8128logplain
-rw-r--r--Rename.mli1074logplain
-rw-r--r--SimplExpr.ml19200logplain
-rw-r--r--SimplExpr.mli1223logplain
-rw-r--r--StructAssign.ml7972logplain
-rw-r--r--StructAssign.mli1134logplain
-rw-r--r--StructByValue.ml11049logplain
-rw-r--r--StructByValue.mli1073logplain
-rw-r--r--Transform.ml2735logplain
-rw-r--r--Transform.mli1541logplain
-rw-r--r--Unblock.ml4749logplain
-rw-r--r--Unblock.mli1139logplain
-rw-r--r--uint64.c1695logplain