 Taddeus Kroes
|
cbeae1d982
Fixed some typeos in documentation, changed <allocate> to __allocate for consistency with language spec
|
11 年之前 |
|
Taddeus Kroes
|
8259c48821
Updated phases documentation
|
11 年之前 |
|
Taddeus Kroes
|
b530c36dde
Generated variable names now have leading underscores instead of dollar signs
|
12 年之前 |
|
Taddeus Kroes
|
65ff039e7c
Added loop unrolling phase
|
12 年之前 |
|
Taddeus Kroes
|
8fb15b70f4
Documented constant propagation phase
|
12 年之前 |
|
Taddeus Kroes
|
b8ec1c056c
Added interface for Main module and generalised main phase function in a type
|
12 年之前 |
|
Taddeus Kroes
|
bbb89db752
Forgot to add the mli files in the last commit... and now removed (generated) types.ml from repo index
|
12 年之前 |
