Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-04 19:15:24 -0700 (Sun, 04 Apr 2004)
Revision: 5595
Log message:

      . Adding memory reservations for arrays, but there are two issues:
      .
      .    1. Somehow, the middle end does not work without naming.
      .       Filed as bug #179.
      .    2. The extra functions are annoying and inefficient.
      .       Filed as bug #180.
      

Changes	Path
+1 -1	mpcompiler/mmc/core/mmc_core_cps.ml
+1 -1	mpcompiler/mmc/core/mmc_core_tast.ml
+14 -14	mpcompiler/mmc/core/mmc_core_theory.ml
+49 -20	mpcompiler/mmc/extensions/array/mmc_ext_array.ml
+3 -2	mpcompiler/mmc/test/Files
Added	mpcompiler/mmc/test/mmc_ext_array_test.ml
Properties	mpcompiler/mmc/test/mmc_ext_array_test.ml
Added	mpcompiler/mmc/test/mmc_ext_array_test.mli
Properties	mpcompiler/mmc/test/mmc_ext_array_test.mli
+2 -47	mpcompiler/mmc/test/mmc_ext_int_test.ml