| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 124 | logplain |
| -rw-r--r-- | Makefile | 890 | logplain |
| -rw-r--r-- | ast.mli | 1758 | logplain |
| -rw-r--r-- | closure.ml | 5946 | logplain |
| -rw-r--r-- | compile.ml | 18518 | logplain |
| -rw-r--r-- | lexer.mll | 2945 | logplain |
| -rw-r--r-- | main.ml | 4079 | logplain |
| -rw-r--r-- | mips.ml | 8660 | logplain |
| -rw-r--r-- | mipshelpers.ml | 552 | logplain |
| -rw-r--r-- | optimize.ml | 4385 | logplain |
| -rw-r--r-- | parser.mly | 4974 | logplain |
| -rw-r--r-- | primitives.ml | 2224 | logplain |
| -rw-r--r-- | runtests.py | 3022 | logplain |
| d--------- | tests | 101 | logplain |
| -rw-r--r-- | typing.ml | 20739 | logplain |
| -rw-r--r-- | utils.ml | 8226 | logplain |
 |
index : petitcaml.git | |
| Unnamed repository; edit this file to name it for gitweb. | Guillaume Seguin |
| summaryrefslogtreecommitdiff |