Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-05 11:13:01 -0700 (Mon, 05 Apr 2004)
Revision: 5599
Log message:

      Added reserve as a special stage.  The old-style reserve is still
      around for constant-sized reserves.  Have to figure out whether to
      fold this in.
      
      Also, added Core_def, so we can use definitions in our code.
      

Changes  Path
+1 -0 mpcompiler/mmc/OMakefile
+1 -0 mpcompiler/mmc/core/Files
Added mpcompiler/mmc/core/mmc_core_def.ml
Properties mpcompiler/mmc/core/mmc_core_def.ml
Added mpcompiler/mmc/core/mmc_core_def.mli
Properties mpcompiler/mmc/core/mmc_core_def.mli
+15 -9 mpcompiler/mmc/core/mmc_core_reserve.ml
+6 -4 mpcompiler/mmc/core/mmc_core_reserve.mli
+5 -2 mpcompiler/mmc/core/mmc_core_theory.ml
Properties mpcompiler/mmc/extensions/reserve
Added mpcompiler/mmc/extensions/reserve/Files
Properties mpcompiler/mmc/extensions/reserve/Files
Added mpcompiler/mmc/extensions/reserve/mmc_ext_reserve.ml
Properties mpcompiler/mmc/extensions/reserve/mmc_ext_reserve.ml
Added mpcompiler/mmc/extensions/reserve/mmc_ext_reserve.mli
Properties mpcompiler/mmc/extensions/reserve/mmc_ext_reserve.mli