Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-04-03 15:56:18 -0800 (Thu, 03 Apr 2003)
Revision: 4382
Log message:

      A little more work on trying to clean-up / add documentation.
      I need to take a look at the assembly language some more; the
      delete_null_reserve rewrite confuses me right now.
      

Changes  Path
+2 -2 metaprl/theories/experimental/compile/m_prog.ml
+41 -30 metaprl/theories/experimental/compile/m_x86_opt.ml