Commit History

Author SHA1 Message Date
  Taddeus Kroes dace7f46a0 Basic variables uses are now propagated like constants to save stack space 12 years ago
  Taddeus Kroes 65ff039e7c Added loop unrolling phase 12 years ago
  Taddeus Kroes 8fb15b70f4 Documented constant propagation phase 12 years ago
  Taddeus Kroes d2ac2ab8ea Removed 'open Globals' and used 'Globals.args' instead 12 years ago
  Taddeus Kroes 3403c4a3fc Formatted all source code to 2 spaces as tab, and some more prettifications 12 years ago
  Taddeus Kroes 7c9b5cf1af Added interface files for all modules, moved command-line arguments to globals.ml, made types.ml an .mli file 12 years ago
  Taddeus Kroes 3458dfbadd Phase filenames now match identifiers in phases list 12 years ago