 Taddeus Kroes
|
067e9962fc
Typo
|
il y a 11 ans |
|
Taddeus Kroes
|
4f36554425
Typo fixes
|
il y a 11 ans |
|
Taddeus Kroes
|
7867875804
Implemented new scoping rules, moved up context analysys, tweaked where extern variables are handled, fixed some bugs (see updated html docs) (needs new test cases!)
|
il y a 11 ans |
|
Taddeus Kroes
|
8259c48821
Updated phases documentation
|
il y a 11 ans |
|
Taddeus Kroes
|
98f34c1ac8
Documented Dimreduce phase
|
il y a 12 ans |
|
Taddeus Kroes
|
b8ec1c056c
Added interface for Main module and generalised main phase function in a type
|
il y a 12 ans |
|
Taddeus Kroes
|
bbb89db752
Forgot to add the mli files in the last commit... and now removed (generated) types.ml from repo index
|
il y a 12 ans |
