summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore124logplain
-rw-r--r--Makefile988logplain
-rw-r--r--ast.mli1723logplain
-rw-r--r--closure.ml6024logplain
-rw-r--r--compile.ml18518logplain
-rw-r--r--lexer.mll2945logplain
-rw-r--r--main.ml4274logplain
-rw-r--r--mips.ml8660logplain
-rw-r--r--mipshelpers.ml552logplain
-rw-r--r--optimize.ml4385logplain
-rw-r--r--parser.mly4993logplain
-rw-r--r--primitives.ml2224logplain
-rw-r--r--runtests.py3716logplain
d---------tests101logplain
-rw-r--r--typing.ml20309logplain
-rw-r--r--utils.ml9338logplain