/[mojave]/metaprl/theories/mc/mp_mc_theory.mlz
ViewVC logotype

Log of /metaprl/theories/mc/mp_mc_theory.mlz

Parent Directory Parent Directory | Revision Log Revision Log


Sticky Revision:
(Current path doesn't exist after revision 4482)

Revision 3565 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 5 09:33:57 2002 UTC (19 years, 2 months ago) by emre
File length: 1457 byte(s)
Diff to previous 3564
Redoing constant elimination, now that I've corrected
the mistake I made in FIR evaluation.  As a sidenote, I'm not
completely convinced that I've expressed how division expressions evaluation
"correctly".


Revision 3564 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 5 07:07:58 2002 UTC (19 years, 2 months ago) by emre
File length: 1432 byte(s)
Diff to previous 3550
-  Fixed some problems in Mp_mc_fir_eval and proved
   the rewrites in it.
-  Proved 2 of the deadcode elimination rewrites (in Mp_mc_deadcode).


Revision 3550 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 24 22:35:29 2002 UTC (19 years, 3 months ago) by emre
File length: 1409 byte(s)
Diff to previous 3533
Updating files to reflect the newest version of the MC FIR (which happens to be
in the websplit branch).  In the process, I've also moved every file in this
theory to use the same prefix for the filenames. I've also removed quite
a few files that have been dead for a while now.

Right now, the "connect" files are not compiled in by default since they will
only compile against the websplit branch of MC and not the trunk.

Lastly, since the definition of FIR evaluation is a bit more precise now,
the need to seperately define constant elimination has been removed.


Revision 3533 - (view) (download) (annotate) - [select for diffs]
Added Mon Mar 11 09:54:10 2002 UTC (19 years, 3 months ago) by emre
File length: 1361 byte(s)
I've renamed theories/mc/fir_eval to use my
(attrocious) prefix so that a file name collision
with fir_eval in the MC source tree doesn't happen.
Other files in theories/mc have been changed
accordingly.

I've renamed mp_mc_theory to just use a .mlz
file since the .ml and .mli files were the
exact same and it's a hassle to modify them
both whenever they need to be changed.

I've updated editor/ml/Conscript so that mpopt
actually includes the Itt_theory and Mp_mc_theory.
This makes it much more useful.

mc/Conscript has been updated to reflect new code
in the MC source tree.

After this, MetaPRL should compile with the
main trunk of the MC source tree if the MC_ROOT
environment variable is set appropriately.


This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.26