Changes by: Mihai Florian (mflorian at cs.caltech.edu)
Date: 2008-06-06 17:48:44 -0700 (Fri, 06 Jun 2008)
Revision: 13002
Log message:
Bulky commit for DIO.
| Changes | Path(relative to mojavefs/source/dio) |
| +3 -0 | OMakefile |
| +488 -192 | dio.ml |
| +11 -1 | dio_application_factory.ml |
| Added | dio_default_policy.ml |
| Added | dio_policy_factory.ml |
| +60 -0 | dio_request_types.ml |
| +48 -7 | dio_simple_policy.ml |
| +26 -1 | dio_types.ml |
| Added | gc_application_factory.ml |