ViewVC logotype

Log of /metaprl/theories/mc/mp_mc_const_elim.mli

Parent Directory Parent Directory | Revision Log Revision Log

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

Revision 3576 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 12 05:37:53 2002 UTC (19 years, 2 months ago) by emre
File length: 2208 byte(s)
Diff to previous 3565
These updates to the Conscripts allow for a compiles,
started in the MC source tree, to optionally
compile MetaPRL.  Nothing in MetaPRL itself should be
affected by these changes.  The only important
thing to note that is "#", in INCPATH's
has been replaced by $env->{MP}, which is set
in the toplevel Conscript.  "#" will refer to the
wrong root if the compile is started in MC.

Revision 3565 - (view) (download) (annotate) - [select for diffs]
Added Fri Apr 5 09:33:57 2002 UTC (19 years, 2 months ago) by emre
File length: 2170 byte(s)
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

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