История коммитов

Автор SHA1 Сообщение Дата
  Taddeus Kroes b65f17c932 Did some refactoring on main module and tweaked output options 11 лет назад
  Taddeus Kroes 903ac1f057 Fixed hline being printed before assembly code at verbosity=1 12 лет назад
  Taddeus Kroes 885fa4bc95 Changed the way errors are represented + context analysis now prints multiple errors before exiting 12 лет назад
  Taddeus Kroes d2ac2ab8ea Removed 'open Globals' and used 'Globals.args' instead 12 лет назад
  Taddeus Kroes 3403c4a3fc Formatted all source code to 2 spaces as tab, and some more prettifications 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 fc5a38d30a Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option 12 лет назад
  Taddeus Kroes 4225c53427 Finished first version of assembly phase 12 лет назад