Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-03 21:25:20 -0700 (Sun, 03 Apr 2005)
Revision: 7109
Log message:

      Added some simple inlining and constant folding.
      

Changes	Path
+3 -3	mpcompiler/mmc/core/mmc_core_theory.ml
+1 -1	mpcompiler/mmc/extensions/bool/mmc_opt_bool.ml
+1 -1	mpcompiler/mmc/extensions/int/mmc_ext_int.ml
+70 -1	mpcompiler/mmc/extensions/int/mmc_opt_int.ml
+1 -0	mpcompiler/mmc/opt/inline/Files
Added	mpcompiler/mmc/opt/inline/mmc_opt_const.ml
Properties	mpcompiler/mmc/opt/inline/mmc_opt_const.ml
Added	mpcompiler/mmc/opt/inline/mmc_opt_const.mli
Properties	mpcompiler/mmc/opt/inline/mmc_opt_const.mli
+12 -0	mpcompiler/mmc/opt/inline/mmc_opt_inline.ml
+5 -0	mpcompiler/mmc/opt/inline/mmc_opt_inline.mli
+2 -2	mpcompiler/mmc/opt/inline/mmc_opt_inline_base.ml
+2 -2	mpcompiler/mmc/test/mmc