コミット履歴

作者 SHA1 メッセージ 日付
  Taddeus Kroes 625095f367 Documented all global modules (phases still need to be done) 12 年 前
  Taddeus Kroes 7c9b5cf1af Added interface files for all modules, moved command-line arguments to globals.ml, made types.ml an .mli file 12 年 前
  Taddeus Kroes 21fc065c8f Changed constant node types, added VarDecs|LocalFuns wrappers, implemented first steps of assembler 12 年 前
  Taddeus Kroes 45ccce6001 Renamed ast.ml to types.ml 12 年 前
  Taddeus Kroes 96ecd75efb Implemented most of typechecking, some bugfixes in other phases 12 年 前
  Taddeus Kroes ee11dce399 Started on implementing CiviC compiler 12 年 前