Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-01 14:27:44 -0800 (Wed, 01 Dec 2004)
Revision: 6296
Log message:

      Added test0.
      

Changes  Path
+1 -0 mpcompiler-branches/new_parser2/mmc/arch/x86/runtime/OMakefile
+2 -1 mpcompiler-branches/new_parser2/mmc/test/mmc
+2 -5 mpcompiler-branches/new_parser2/mmc/test/mmc_int_test.ml

Changes by: ( at unknown.email)
Date: 2004-12-01 18:48:14 -0800 (Wed, 01 Dec 2004)
Revision: 6302
Log message:

      This commit was manufactured by cvs2svn to create branch 'new_parser3'.

Changes  Path
Copied metaprl-branches/new_parser3
Copied mpcompiler-branches/new_parser3
Copied texinputs-branches/new_parser3
Deleted texinputs-branches/new_parser3/1cm.sty
Deleted texinputs-branches/new_parser3/1cml.sty
Deleted texinputs-branches/new_parser3/Makefile
Deleted texinputs-branches/new_parser3/Makefile-common
Deleted texinputs-branches/new_parser3/PPR-macros.tex
Deleted texinputs-branches/new_parser3/PPRmyppr.sty
Deleted texinputs-branches/new_parser3/bcp.bib
Deleted texinputs-branches/new_parser3/citlogo.eps
Deleted texinputs-branches/new_parser3/citlogo2.eps
Deleted texinputs-branches/new_parser3/config.ppr
Deleted texinputs-branches/new_parser3/cornell-logo.eps
Deleted texinputs-branches/new_parser3/dag50.eps
Deleted texinputs-branches/new_parser3/der.tex
Deleted texinputs-branches/new_parser3/gate.eps
Deleted texinputs-branches/new_parser3/gate.pdf
Binary texinputs-branches/new_parser3/gccuny-logo.eps
Binary texinputs-branches/new_parser3/gccuny-logo.gif
Binary texinputs-branches/new_parser3/gccuny-logo.pdf
Deleted texinputs-branches/new_parser3/include.tex
Deleted texinputs-branches/new_parser3/omscmsy.fd
Deleted texinputs-branches/new_parser3/ot1cmr.fd
Deleted texinputs-branches/new_parser3/ot1cmss.fd
Deleted texinputs-branches/new_parser3/ot1lcmss.fd
Deleted texinputs-branches/new_parser3/ot1lcmtt.fd
Deleted texinputs-branches/new_parser3/pprpdf
Deleted texinputs-branches/new_parser3/proof.sty
Deleted texinputs-branches/new_parser3/slides-nogin.cls
Deleted texinputs-branches/new_parser3/splncs.bst
Deleted texinputs-branches/new_parser3/umsa.fd
Deleted texinputs-branches/new_parser3/umsb.fd

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-01 19:20:34 -0800 (Wed, 01 Dec 2004)
Revision: 6303
Log message:

      A new incarnation of the new_parser branch (off of the current trunk).
      

Changes  Path
+5 -5 metaprl-branches/new_parser3/editor/emacs/caml.el
Binary metaprl-branches/new_parser3/editor/emacs/caml.elc
+2 -1 metaprl-branches/new_parser3/filter/base/Files
+238 -127 metaprl-branches/new_parser3/filter/base/filter_cache_fun.ml
Added metaprl-branches/new_parser3/filter/base/filter_grammar.ml
Properties metaprl-branches/new_parser3/filter/base/filter_grammar.ml
Added metaprl-branches/new_parser3/filter/base/filter_grammar.mli
Properties metaprl-branches/new_parser3/filter/base/filter_grammar.mli
+4 -3 metaprl-branches/new_parser3/filter/base/filter_magic.ml
+53 -25 metaprl-branches/new_parser3/filter/base/filter_summary.ml
+78 -59 metaprl-branches/new_parser3/filter/base/filter_summary_type.ml
+30 -29 metaprl-branches/new_parser3/filter/base/filter_type.ml
+223 -38 metaprl-branches/new_parser3/filter/filter/filter_parse.ml
+32 -17 metaprl-branches/new_parser3/filter/filter/filter_prog.ml
+30 -10 metaprl-branches/new_parser3/filter/filter/term_grammar.ml
+2 -1 metaprl-branches/new_parser3/filter/filter/term_grammar.mli
+29 -30 metaprl-branches/new_parser3/mllib/file_base_type.ml
+9 -4 metaprl-branches/new_parser3/support/shell/package_info.ml
+4 -0 metaprl-branches/new_parser3/support/shell/package_info.mli
+6 -0 metaprl-branches/new_parser3/support/shell/shell_core.ml
+2 -1 metaprl-branches/new_parser3/support/shell/shell_package.ml
+40 -0 metaprl-branches/new_parser3/support/shell/shell_state.ml
+2 -0 metaprl-branches/new_parser3/support/shell/shell_state.mli
Properties mpcompiler-branches/new_parser3/mmc
+1 -0 mpcompiler-branches/new_parser3/mmc/arch/x86/runtime/OMakefile
+1 -0 mpcompiler-branches/new_parser3/mmc/core/Files
+38 -0 mpcompiler-branches/new_parser3/mmc/core/mmc_core_ast.ml
+121 -1 mpcompiler-branches/new_parser3/mmc/core/mmc_core_ast.mli
Added mpcompiler-branches/new_parser3/mmc/core/mmc_core_grammar.ml
Properties mpcompiler-branches/new_parser3/mmc/core/mmc_core_grammar.ml
Added mpcompiler-branches/new_parser3/mmc/core/mmc_core_grammar.mli
Properties mpcompiler-branches/new_parser3/mmc/core/mmc_core_grammar.mli
+10 -0 mpcompiler-branches/new_parser3/mmc/extensions/bool/mmc_ext_bool.ml
+29 -0 mpcompiler-branches/new_parser3/mmc/extensions/bool/mmc_ext_bool.mli
+17 -0 mpcompiler-branches/new_parser3/mmc/extensions/int/mmc_ext_int.ml
+68 -0 mpcompiler-branches/new_parser3/mmc/extensions/int/mmc_ext_int.mli
+1 -0 mpcompiler-branches/new_parser3/mmc/extensions/operator/mmc_ext_operator.mli
+1 -0 mpcompiler-branches/new_parser3/mmc/test/Files
+1 -1 mpcompiler-branches/new_parser3/mmc/test/OMakefile
+4 -1 mpcompiler-branches/new_parser3/mmc/test/mmc
Added mpcompiler-branches/new_parser3/mmc/test/mmc_grammar.ml
Properties mpcompiler-branches/new_parser3/mmc/test/mmc_grammar.ml
Added mpcompiler-branches/new_parser3/mmc/test/mmc_grammar.mli
Properties mpcompiler-branches/new_parser3/mmc/test/mmc_grammar.mli
+12 -10 mpcompiler-branches/new_parser3/mmc/test/mmc_int_test.ml

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-02 13:42:12 -0800 (Thu, 02 Dec 2004)
Revision: 6308
Log message:

      Fixed the problem with not printing the rest of the program after an Ignore statement
      (bugs #351, #352).
      

Changes  Path
+1 -1 mpcompiler-branches/new_parser3/mmc/arch/x86/mmc_x86_asm.ml
+2 -1 mpcompiler-branches/new_parser3/mmc/arch/x86/mmc_x86_backend.ml
+3 -3 mpcompiler-branches/new_parser3/mmc/test/mmc
+1 -1 mpcompiler-branches/new_parser3/mmc/test/mmc_int_test.ml

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-02 13:52:36 -0800 (Thu, 02 Dec 2004)
Revision: 6309
Log message:

      In mmc_int_test/test2, 2 * (4 - 2) now computes to 4.
      

Changes  Path
+1 -1 mpcompiler-branches/new_parser3/mmc/arch/x86/mmc_x86_opt1.ml

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-02 14:03:36 -0800 (Thu, 02 Dec 2004)
Revision: 6310
Log message:

      Print the exit code in tests.
      

Changes  Path
+1 -0 mpcompiler-branches/new_parser3/mmc/test/mmc
+2 -1 mpcompiler-branches/new_parser3/mmc/test/mmc_tests_out.previous

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-02 14:55:13 -0800 (Thu, 02 Dec 2004)
Revision: 6311
Log message:

      Fixed a bug in hoisting dur to name clashes.
      mmc_int_test/test_cps1 now compiles and runs.
      

Changes  Path
+4 -0 mpcompiler-branches/new_parser3/mmc/arch/x86/mmc_x86_codegen.ml
+7 -3 mpcompiler-branches/new_parser3/mmc/arch/x86/mmc_x86_regalloc.ml
+1 -1 mpcompiler-branches/new_parser3/mmc/base/mmc_base_hoist.ml

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-02 15:30:34 -0800 (Thu, 02 Dec 2004)
Revision: 6312
Log message:

      Removed direct-call optimization for the moment.
      

Changes  Path
+1 -1 mpcompiler-branches/new_parser3/mmc/main/mmc_theory.ml
+1 -1 mpcompiler-branches/new_parser3/mmc/main/mmc_theory.mli

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-02 17:38:16 -0800 (Thu, 02 Dec 2004)
Revision: 6316
Log message:

      Merging Jason's mmc_parser branch.
      
      This adds a new Libmojave/rewriter-based parser similar to Phobos.
      The advantage of this new parser (compared to Phobos) is that it is
      much better integrated to the rest of the filter. In particular:
       - New-style grammar specifications reside in .mli and .ml, and not
         in a separate .pho file (note - .mli grammars are inherited; .ml ones
         are local)
       - The opname management is reused (no need to re-declare opnames in the
         grammar specifications).
       - Grammars are saved in the .cmoz/.cmiz instead of a separate file.
       - Grammars are properly scoped (and toploop knows about it).
       - Grammars are inherited along the module inheritance hierarchy
         and can be extended by the children.
       - Instead of a single "<:ext<" grammar, arbitrarily-named grammars may be
         defined.
      

Changes  Path
+5 -5 metaprl/editor/emacs/caml.el
Binary metaprl/editor/emacs/caml.elc
+2 -1 metaprl/filter/base/Files
+1 -0 metaprl/filter/base/OMakefile
+232 -128 metaprl/filter/base/filter_cache_fun.ml
+8 -0 metaprl/filter/base/filter_exn.ml
Added metaprl/filter/base/filter_grammar.ml
Properties metaprl/filter/base/filter_grammar.ml
Added metaprl/filter/base/filter_grammar.mli
Properties metaprl/filter/base/filter_grammar.mli
+4 -3 metaprl/filter/base/filter_magic.ml
+68 -33 metaprl/filter/base/filter_summary.ml
+79 -59 metaprl/filter/base/filter_summary_type.ml
+30 -29 metaprl/filter/base/filter_type.ml
+229 -39 metaprl/filter/filter/filter_parse.ml
+32 -17 metaprl/filter/filter/filter_prog.ml
+30 -10 metaprl/filter/filter/term_grammar.ml
+2 -1 metaprl/filter/filter/term_grammar.mli
+9 -4 metaprl/support/shell/package_info.ml
+4 -0 metaprl/support/shell/package_info.mli
+7 -1 metaprl/support/shell/shell_core.ml
+4 -3 metaprl/support/shell/shell_package.ml
+40 -0 metaprl/support/shell/shell_state.ml
+2 -0 metaprl/support/shell/shell_state.mli
Properties mpcompiler/mmc
+1 -1 mpcompiler/mmc/arch/x86/mmc_x86_asm.ml
+2 -1 mpcompiler/mmc/arch/x86/mmc_x86_backend.ml
+4 -0 mpcompiler/mmc/arch/x86/mmc_x86_codegen.ml
+1 -1 mpcompiler/mmc/arch/x86/mmc_x86_opt1.ml
+7 -3 mpcompiler/mmc/arch/x86/mmc_x86_regalloc.ml
+1 -0 mpcompiler/mmc/arch/x86/runtime/OMakefile
+1 -1 mpcompiler/mmc/base/mmc_base_hoist.ml
+1 -0 mpcompiler/mmc/core/Files
+38 -0 mpcompiler/mmc/core/mmc_core_ast.ml
+121 -1 mpcompiler/mmc/core/mmc_core_ast.mli
Added mpcompiler/mmc/core/mmc_core_grammar.ml
Properties mpcompiler/mmc/core/mmc_core_grammar.ml
Added mpcompiler/mmc/core/mmc_core_grammar.mli
Properties mpcompiler/mmc/core/mmc_core_grammar.mli
+10 -0 mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
+29 -0 mpcompiler/mmc/extensions/bool/mmc_ext_bool.mli
+17 -0 mpcompiler/mmc/extensions/int/mmc_ext_int.ml
+68 -0 mpcompiler/mmc/extensions/int/mmc_ext_int.mli
+1 -0 mpcompiler/mmc/extensions/operator/mmc_ext_operator.mli
+1 -1 mpcompiler/mmc/main/mmc_theory.ml
+1 -1 mpcompiler/mmc/main/mmc_theory.mli
+1 -0 mpcompiler/mmc/test/Files
+1 -1 mpcompiler/mmc/test/OMakefile
+5 -1 mpcompiler/mmc/test/mmc
Added mpcompiler/mmc/test/mmc_grammar.ml
Properties mpcompiler/mmc/test/mmc_grammar.ml
Added mpcompiler/mmc/test/mmc_grammar.mli
Properties mpcompiler/mmc/test/mmc_grammar.mli
+12 -10 mpcompiler/mmc/test/mmc_int_test.ml
+2 -1 mpcompiler/mmc/test/mmc_tests_out.previous

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-02 18:26:23 -0800 (Thu, 02 Dec 2004)
Revision: 6317
Log message:

      The new parser branch have added a "token" keyword which clashed with a number
      of places using the "token" for other things (opname, type, etc). I've renamed
      the "token" keyword into "lex_token".
      

Changes  Path
+2 -2 metaprl/editor/emacs/caml.el
+4 -4 metaprl/filter/filter/filter_parse.ml
+14 -14 mpcompiler/mmc/core/mmc_core_ast.mli
+4 -4 mpcompiler/mmc/core/mmc_core_grammar.mli
+9 -9 mpcompiler/mmc/extensions/bool/mmc_ext_bool.mli
+19 -19 mpcompiler/mmc/extensions/int/mmc_ext_int.mli

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-02 18:46:06 -0800 (Thu, 02 Dec 2004)
Revision: 6318
Log message:

      Finished the switch from Phobos to the new parser in MMC.
      

Changes  Path
+2 -2 mpcompiler/mmc/test/mmc_array_test.ml
+1 -9 mpcompiler/mmc/test/mmc_array_test.mli
+5 -5 mpcompiler/mmc/test/mmc_bool_test.ml
+10 -10 mpcompiler/mmc/test/mmc_core_test.ml
+1 -0 mpcompiler/mmc/test/mmc_core_test.mli
+1 -1 mpcompiler/mmc/test/mmc_int_test.ml
+1 -1 mpcompiler/mmc/test/mmc_mandel_test.ml
+4 -4 mpcompiler/mmc/test/mmc_spill_test.ml
Deleted mpcompiler/mmc/test/syntax.pho

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-07 17:22:41 -0800 (Tue, 07 Dec 2004)
Revision: 6339
Log message:

      Add the mmc subdirectories to the include directories listing.
      

Changes  Path
+2 -1 mpcompiler/mmc/OMakefile