| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 114 | logplain |
| -rw-r--r-- | Makefile | 694 | logplain |
| -rw-r--r-- | ast.mli | 1758 | logplain |
| -rw-r--r-- | closure.ml | 5946 | logplain |
| -rw-r--r-- | compile.ml | 18512 | logplain |
| -rw-r--r-- | lexer.mll | 2945 | logplain |
| -rw-r--r-- | main.ml | 3948 | logplain |
| -rw-r--r-- | mips.ml | 8627 | logplain |
| -rw-r--r-- | mipshelpers.ml | 552 | logplain |
| -rw-r--r-- | optimize.ml | 4385 | logplain |
| -rw-r--r-- | parser.mly | 4578 | logplain |
| -rw-r--r-- | primitives.ml | 2224 | logplain |
| -rw-r--r-- | runtests.py | 2922 | logplain |
| d--------- | tests | 101 | logplain |
| -rw-r--r-- | typing.ml | 20490 | logplain |
| -rw-r--r-- | utils.ml | 7783 | logplain |
 |
index : petitcaml.git | |
| Unnamed repository; edit this file to name it for gitweb. | Guillaume Seguin |
| summaryrefslogtreecommitdiff |