コミット履歴

作者 SHA1 メッセージ 日付
  Taddeus Kroes b65f17c932 Did some refactoring on main module and tweaked output options 11 年 前
  Taddeus Kroes 73c3bd4768 Corrected some typos 11 年 前
  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 年 前