Commit Verlauf

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