summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Makefile694logplain
-rw-r--r--ast.mli1758logplain
-rw-r--r--closure.ml5946logplain
-rw-r--r--compile.ml18512logplain
-rw-r--r--lexer.mll2945logplain
-rw-r--r--main.ml3948logplain
-rw-r--r--mips.ml8146logplain
-rw-r--r--mipshelpers.ml431logplain
-rw-r--r--optimize.ml3933logplain
-rw-r--r--parser.mly4578logplain
-rw-r--r--primitives.ml2224logplain
-rw-r--r--runtests.py2922logplain
d---------tests101logplain
-rw-r--r--typing.ml14772logplain
-rw-r--r--utils.ml7783logplain