 Taddeus Kroes
|
8b98ef9b4f
Tiny comment fix
|
11 lat temu |
|
Taddeus Kroes
|
1352292cdf
Now generating badd and bmul instructions for booleans rather than generating type casts in boolop phase
|
11 lat temu |
|
Taddeus Kroes
|
8259c48821
Updated phases documentation
|
11 lat temu |
|
Taddeus Kroes
|
0e88812018
Typo's
|
12 lat temu |
|
Taddeus Kroes
|
714565b5d0
Documented Boolop phase
|
12 lat temu |
|
Taddeus Kroes
|
b8ec1c056c
Added interface for Main module and generalised main phase function in a type
|
12 lat temu |
|
Taddeus Kroes
|
bbb89db752
Forgot to add the mli files in the last commit... and now removed (generated) types.ml from repo index
|
12 lat temu |
