/[mojave]/metaprl/theories/mc/mp_mc_deadcode.prla
ViewVC logotype

Log of /metaprl/theories/mc/mp_mc_deadcode.prla

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 3564 - (view) (download) (annotate) - [select for diffs]
Added Fri Apr 5 07:07:58 2002 UTC (19 years, 2 months ago) by emre
File length: 21371 byte(s)
-  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).


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