/[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 3588 by emre, Fri Apr 19 08:09:21 2002 UTC revision 3589 by emre, Sat Apr 27 04:44:46 2002 UTC
# Line 22  Line 22 
22           more robust way to represent an entire FIR program.           more robust way to represent an entire FIR program.
23     .  test cases - I need to test some of the "higher level"     .  test cases - I need to test some of the "higher level"
24        MetaPRL code (deadcode, const_elim).        MetaPRL code (deadcode, const_elim).
25  -  Documentation: I need it. (-: Current ideas involve the use  -  Documentation: I need it. Current ideas involve the use of the
26     of whatever mechanism generates theories.pdf.     MetaPRL documentation system.
27    
28  Notes to myself:  Notes to myself:
29  --------------------------------------------------------------------------  --------------------------------------------------------------------------

Legend:
Removed from v.3588  
changed lines
  Added in v.3589

  ViewVC Help
Powered by ViewVC 1.1.26