Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-10-09 16:39:18 -0700 (Thu, 09 Oct 2003)
Revision: 4961
Log message:
Latest version of the mojave compiler work.
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-11 10:48:19 -0700 (Sat, 11 Oct 2003)
Revision: 4973
Log message:
Generate .ppo files.
This adds a new section of rules to the toplevel OMakefile.
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-14 11:28:09 -0700 (Tue, 14 Oct 2003)
Revision: 4988
Log message:
Copying register allocator from the M theory.
| Changes | Path |
| +6 -6 | mpcompiler/mmc/OMakefile |
| Properties | mpcompiler/mmc/arch/ra |
| Added | mpcompiler/mmc/arch/ra/Files |
| Properties | mpcompiler/mmc/arch/ra/Files |
| Added | mpcompiler/mmc/arch/ra/OMakefile |
| Properties | mpcompiler/mmc/arch/ra/OMakefile |
| Added | mpcompiler/mmc/arch/ra/ra_live.ml |
| Properties | mpcompiler/mmc/arch/ra/ra_live.ml |
| Added | mpcompiler/mmc/arch/ra/ra_live.mli |
| Properties | mpcompiler/mmc/arch/ra/ra_live.mli |
| Added | mpcompiler/mmc/arch/ra/ra_main.ml |
| Properties | mpcompiler/mmc/arch/ra/ra_main.ml |
| Added | mpcompiler/mmc/arch/ra/ra_main.mli |
| Properties | mpcompiler/mmc/arch/ra/ra_main.mli |
| Added | mpcompiler/mmc/arch/ra/ra_state.ml |
| Properties | mpcompiler/mmc/arch/ra/ra_state.ml |
| Added | mpcompiler/mmc/arch/ra/ra_state.mli |
| Properties | mpcompiler/mmc/arch/ra/ra_state.mli |
| Added | mpcompiler/mmc/arch/ra/ra_type.mlz |
| Properties | mpcompiler/mmc/arch/ra/ra_type.mlz |
| +4 -0 | mpcompiler/mmc/extensions/OMakefile |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-14 11:38:22 -0700 (Tue, 14 Oct 2003)
Revision: 4989
Log message:
Rename mojave/arch/util to mojave/arch/ra
| Changes | Path |
| +3 -3 | mpcompiler/mmc/OMakefile |
| +1 -1 | mpcompiler/mmc/arch/ra/Files |
| +1 -1 | mpcompiler/mmc/arch/ra/OMakefile |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-14 11:39:21 -0700 (Tue, 14 Oct 2003)
Revision: 4990
Log message:
Forgot the OMakefile.
| Changes | Path |
| Added | mpcompiler/mmc/arch/OMakefile |
| Properties | mpcompiler/mmc/arch/OMakefile |
| Properties | mpcompiler/mmc/arch/ra |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-14 12:45:09 -0700 (Tue, 14 Oct 2003)
Revision: 4992
Log message:
Added the register allocator.
Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-10-15 17:01:01 -0700 (Wed, 15 Oct 2003)
Revision: 4997
Log message:
Fixed incorrectly specified rewrite in CPS. Disabled a ton of debugging
messages in type inference.
| Changes | Path |
| +2 -2 | mpcompiler/mmc/core/mmc_core_cps.ml |
| +15 -11 | mpcompiler/mmc/core/mmc_core_type_infer.ml |
| +0 -1 | mpcompiler/mmc/extensions/ext_boolean.ml |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-20 20:37:07 -0700 (Mon, 20 Oct 2003)
Revision: 5011
Log message:
Force the use of omake 0.7.1, with optional dependencies.
This addresses bug #59: omake does no rescan a .ml file when a .mli file
is added. Not closing the ticket, I have to verify it fixes the problem.
A few minor changes cleaning up OMakefiles in theories/mojave.
!!! Sorry, I cried wolf !!! The new version of omake works just fine
on mojave. Uh, well, it happens I was checked out on the mojave_sequents
branch on mojave, and of course that version is broken.
| Changes | Path |
| +31 -35 | metaprl/OMakefile |
| +1 -1 | mpcompiler/mmc/OMakefile |
| +6 -4 | mpcompiler/mmc/core/OMakefile |
| +4 -4 | mpcompiler/mmc/extensions/OMakefile |
Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-20 22:43:16 -0700 (Mon, 20 Oct 2003)
Revision: 5012
Log message:
Adding the theories/mojave/arch/ra directory to the make build system.
Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-10-20 22:51:39 -0700 (Mon, 20 Oct 2003)
Revision: 5013
Log message:
let_intro should probably be part of the intro resource...
| Changes | Path |
| +1 -1 | mpcompiler/mmc/core/mmc_core_type_check.ml |
Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-20 23:24:58 -0700 (Mon, 20 Oct 2003)
Revision: 5015
Log message:
Killing a number of unneeded 'open' directives.
Changes by: ( at unknown.email)
Date: 2003-10-28 01:09:39 -0800 (Tue, 28 Oct 2003)
Revision: 5043
Log message:
This commit was manufactured by cvs2svn to create branch 'ocaml_3_07'.