Changes by: Nathaniel Gray (n8gray at cs.caltech.edu)
Date: 2007-08-22 16:17:52 -0700 (Wed, 22 Aug 2007)
Revision: 125
Log message:
Added spec.h (from crt) and spec.idl, to wrap it for OCaml
| Changes | Path(relative to speculations) |
| Added | spec.h |
| Properties | spec.h |
| Added | spec.idl |
Changes by: Nathaniel Gray (n8gray at cs.caltech.edu)
Date: 2007-08-22 16:32:28 -0700 (Wed, 22 Aug 2007)
Revision: 126
Log message:
Omake stuff
| Changes | Path(relative to speculations) |
| Added | OMakefile |
| Properties | OMakefile |
| Added | OMakeroot |
| Properties | OMakeroot |
Changes by: Nathaniel Gray (n8gray at cs.caltech.edu)
Date: 2007-08-22 16:33:38 -0700 (Wed, 22 Aug 2007)
Revision: 127
Log message:
blah
| Changes | Path(relative to speculations) |
| +1 -1 | OMakefile |
Changes by: Nathaniel Gray (n8gray at cs.caltech.edu)
Date: 2007-08-22 16:37:30 -0700 (Wed, 22 Aug 2007)
Revision: 128
Log message:
Fixed wrapping error caused by pasting from email.
| Changes | Path(relative to speculations) |
| +4 -4 | spec.h |
Changes by: Nathaniel Gray (n8gray at cs.caltech.edu)
Date: 2007-08-22 17:13:14 -0700 (Wed, 22 Aug 2007)
Revision: 129
Log message:
Oh yes, it builds.
| Changes | Path(relative to speculations) |
| +4 -2 | OMakefile |
Changes by: Nathaniel Gray (n8gray at cs.caltech.edu)
Date: 2007-08-31 16:36:41 -0700 (Fri, 31 Aug 2007)
Revision: 130
Log message:
Added a target for a speculative toplevel
| Changes | Path(relative to speculations) |
| +16 -4 | OMakefile |
Changes by: Nathaniel Gray (n8gray at cs.caltech.edu)
Date: 2007-08-31 17:05:07 -0700 (Fri, 31 Aug 2007)
Revision: 131
Log message:
These are now in the spectcp repository.
| Changes | Path(relative to speculations) |
| Deleted | OMakefile |
| Deleted | OMakeroot |
| Deleted | spec.h |
| Deleted | spec.idl |