Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-15 12:16:27 -0800 (Tue, 15 Mar 2005)
Revision: 6933
Log message:

      Moved Mmc_core_{inline,value} to the opt/ directory, and cleaned them up.
      Note, you should remove the lingering .cm* files after you do a CVS update.
      

Changes  Path
+0 -2 mpcompiler/mmc/core/Files
Deleted mpcompiler/mmc/core/mmc_core_inline.ml
Deleted mpcompiler/mmc/core/mmc_core_inline.mli
Deleted mpcompiler/mmc/core/mmc_core_value.ml
Deleted mpcompiler/mmc/core/mmc_core_value.mli
+1 -0 mpcompiler/mmc/extensions/bool/Files
+0 -13 mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
Added mpcompiler/mmc/extensions/bool/mmc_opt_bool.ml
Properties mpcompiler/mmc/extensions/bool/mmc_opt_bool.ml
Added mpcompiler/mmc/extensions/bool/mmc_opt_bool.mli
Properties mpcompiler/mmc/extensions/bool/mmc_opt_bool.mli
+1 -0 mpcompiler/mmc/extensions/int/Files
+1 -10 mpcompiler/mmc/extensions/int/mmc_ext_int.ml
Added mpcompiler/mmc/extensions/int/mmc_opt_int.ml
Properties mpcompiler/mmc/extensions/int/mmc_opt_int.ml
Added mpcompiler/mmc/extensions/int/mmc_opt_int.mli
Properties mpcompiler/mmc/extensions/int/mmc_opt_int.mli
+2 -2 mpcompiler/mmc/main/OMakefile
Properties mpcompiler/mmc/opt
Added mpcompiler/mmc/opt/Files
Properties mpcompiler/mmc/opt/Files
Properties mpcompiler/mmc/opt/base
Added mpcompiler/mmc/opt/base/Files
Properties mpcompiler/mmc/opt/base/Files
Added mpcompiler/mmc/opt/base/mmc_meta_bool.ml
Properties mpcompiler/mmc/opt/base/mmc_meta_bool.ml
Added mpcompiler/mmc/opt/base/mmc_meta_bool.mli
Properties mpcompiler/mmc/opt/base/mmc_meta_bool.mli
Added mpcompiler/mmc/opt/base/mmc_meta_bool_grammar.ml
Properties mpcompiler/mmc/opt/base/mmc_meta_bool_grammar.ml
Added mpcompiler/mmc/opt/base/mmc_meta_bool_grammar.mli
Properties mpcompiler/mmc/opt/base/mmc_meta_bool_grammar.mli
Added mpcompiler/mmc/opt/dead/Files
Properties mpcompiler/mmc/opt/dead/Files
Added mpcompiler/mmc/opt/dead/mmc_opt_dead.ml
Properties mpcompiler/mmc/opt/dead/mmc_opt_dead.ml
Added mpcompiler/mmc/opt/dead/mmc_opt_dead.mli
Properties mpcompiler/mmc/opt/dead/mmc_opt_dead.mli
Properties mpcompiler/mmc/opt/direct
Added mpcompiler/mmc/opt/direct/Files
Properties mpcompiler/mmc/opt/direct/Files
Added mpcompiler/mmc/opt/direct/mmc_opt_direct.ml
Properties mpcompiler/mmc/opt/direct/mmc_opt_direct.ml
Added mpcompiler/mmc/opt/direct/mmc_opt_direct.mli
Properties mpcompiler/mmc/opt/direct/mmc_opt_direct.mli
Properties mpcompiler/mmc/opt/inline
Added mpcompiler/mmc/opt/inline/Files
Properties mpcompiler/mmc/opt/inline/Files
Added mpcompiler/mmc/opt/inline/mmc_opt_inline.ml
Properties mpcompiler/mmc/opt/inline/mmc_opt_inline.ml
Added mpcompiler/mmc/opt/inline/mmc_opt_inline.mli
Properties mpcompiler/mmc/opt/inline/mmc_opt_inline.mli
Added mpcompiler/mmc/opt/inline/mmc_opt_inline_grammar.ml
Properties mpcompiler/mmc/opt/inline/mmc_opt_inline_grammar.ml
Added mpcompiler/mmc/opt/inline/mmc_opt_inline_grammar.mli
Properties mpcompiler/mmc/opt/inline/mmc_opt_inline_grammar.mli
Added mpcompiler/mmc/opt/inline/mmc_opt_value.ml
Properties mpcompiler/mmc/opt/inline/mmc_opt_value.ml
Added mpcompiler/mmc/opt/inline/mmc_opt_value.mli
Properties mpcompiler/mmc/opt/inline/mmc_opt_value.mli
Added mpcompiler/mmc/opt/inline/mmc_opt_value_grammar.ml
Properties mpcompiler/mmc/opt/inline/mmc_opt_value_grammar.ml
Added mpcompiler/mmc/opt/inline/mmc_opt_value_grammar.mli
Properties mpcompiler/mmc/opt/inline/mmc_opt_value_grammar.mli
Added mpcompiler/mmc/opt/mmc_opt_theory.ml
Properties mpcompiler/mmc/opt/mmc_opt_theory.ml
Added mpcompiler/mmc/opt/mmc_opt_theory.mli
Properties mpcompiler/mmc/opt/mmc_opt_theory.mli
+3 -1 mpcompiler/mmc/test/mmc