/[mojave]/metaprl/theories/mc/mp_mc_fir_ty.ml
ViewVC logotype

Log of /metaprl/theories/mc/mp_mc_fir_ty.ml

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 3580 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 19 08:09:21 2002 UTC (19 years, 3 months ago) by emre
File length: 11210 byte(s)
Diff to previous 3563
Comitting more changes to reflect the ever changing MC FIR.


Revision 3563 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 5 01:16:49 2002 UTC (19 years, 4 months ago) by emre
File length: 11601 byte(s)
Diff to previous 3550
Updates to reflect the (ever changing) MC FIR.


Revision 3550 - (view) (download) (annotate) - [select for diffs]
Added Sun Mar 24 22:35:29 2002 UTC (19 years, 4 months ago) by emre
File length: 11646 byte(s)
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.


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