/[mojave]/metaprl/theories/mc/TODO
ViewVC logotype

Diff of /metaprl/theories/mc/TODO

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3564 by emre, Fri Apr 5 07:07:58 2002 UTC revision 3565 by emre, Fri Apr 5 09:33:57 2002 UTC
# Line 18  Line 18 
18     the theories was used here as well.     the theories was used here as well.
19  -  Deadcode elimination: Implement more forms of it. Prove the  -  Deadcode elimination: Implement more forms of it. Prove the
20     forms that aren't proven.     forms that aren't proven.
21    -  Constant elimination: Same notes as for deadcode elim.
22  -  Mp_mc_connect_base (special notes):  -  Mp_mc_connect_base (special notes):
23     .  Check float conversion code. Specifically, this code     .  Check float conversion code. Specifically, this code
24        DOES NOT WORK.  I need a way of going from the 80 bit internal        DOES NOT WORK.  I need a way of going from the 80 bit internal
# Line 30  Line 31 
31     to be checked I think.     to be checked I think.
32  -  fundef (Mp_mc_fir_exp) is a hack.  I need to come up with a term  -  fundef (Mp_mc_fir_exp) is a hack.  I need to come up with a term
33     representation for entire programs that is "convinient".     representation for entire programs that is "convinient".
34    -  division: I'm not completely convinced I've expressed this in a
35       "safe and correct" manner.
36    
37  Notes to myself:  Notes to myself:
38  --------------------------------------------------------------------------  --------------------------------------------------------------------------

Legend:
Removed from v.3564  
changed lines
  Added in v.3565

  ViewVC Help
Powered by ViewVC 1.1.26