/[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 3563 by emre, Fri Apr 5 01:16:49 2002 UTC revision 3564 by emre, Fri Apr 5 07:07:58 2002 UTC
# Line 22  Line 22 
22     .  Check float conversion code. Specifically, this code     .  Check float conversion code. Specifically, this code
23        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
24        representation of rawfloat's to some integral or string representation        representation of rawfloat's to some integral or string representation
25        w/o loss of information.        w/o loss of information. This involves some work on the MC
26          end I think.
27  -  Verify that Mp_mc_fir_eval actually is general enough now to prove  -  Verify that Mp_mc_fir_eval actually is general enough now to prove
28     other things... . (It just occurred to me that I don't think I can     other things... . (It just occurred to me that I don't think I can
29     prove deadcode.)     prove deadcode.)  Everything from "unary operations" down needs
30       to be checked I think.
31  -  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
32     representation for entire programs that is "convinient".     representation for entire programs that is "convinient".
 -  Fir.frame (would fall under types) is not represented at all.  
33    
34  Notes to myself:  Notes to myself:
35  --------------------------------------------------------------------------  --------------------------------------------------------------------------

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

  ViewVC Help
Powered by ViewVC 1.1.26