summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore124logplain
-rw-r--r--Makefile907logplain
-rw-r--r--ast.mli1758logplain
-rw-r--r--closure.ml5946logplain
-rw-r--r--compile.ml18518logplain
-rw-r--r--lexer.mll2945logplain
-rw-r--r--main.ml4079logplain
-rw-r--r--mips.ml8660logplain
-rw-r--r--mipshelpers.ml552logplain
-rw-r--r--optimize.ml4385logplain
-rw-r--r--parser.mly4974logplain
-rw-r--r--primitives.ml2224logplain
-rw-r--r--runtests.py3022logplain
d---------tests101logplain
-rw-r--r--typing.ml20739logplain
-rw-r--r--utils.ml8226logplain