(**********************************************************************

   Author:   Steffen Jost <jost@informatik.uni-muenchen.de>
   Name:     $Name:  $
   File:     $RCSfile: README.TXT,v $
   Id:       $Id: README.TXT,v 1.13 2003/10/09 08:42:27 sjost Exp $ 

	

   What is this all about:
   ----------------------- 
   The program package LFPL_INFER deals with camelot-style programs: 
    - inferring linear upper bounds on heap space consumption 
      of each function 
    - sandboxed execution for monitoring heap space consumption in 




   +------------------------------------------------------------+
   |    !!! PLEASE READ THE PROVIDED MANUAL: LFD_INFER.ps !!!   |
   +------------------------------------------------------------+





   ToDos: 
   ------	

	- Look at the 'ToDo'-Information contained in each file!

        - The programs print outs of elapsed time during inference
	  and/or evaluation seems not be measured in seconds, although
	  it should be according to the OCaml manual. Take a closer at
	  this sometime.

	- Implement an interface for the abstract syntax from
	  Camelot/Michal's inference

       	- Using Support.Error is awful: 
	  One should use proper exceptions instead.
	  
	- Purge all files from german comments.


   NotToDos (in order to remember what has already been considered):
   --------
 
        - Nothing here yet.

**********************************************************************)


