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

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

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: 211318 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]
Added Fri Apr 5 07:07:58 2002 UTC (19 years, 2 months ago) by emre
File length: 210486 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