[splint-discuss] Gregory Descamps is out of the office

Gregory Descamps gregory.descamps at awtce.be
Fri Jun 22 13:06:51 PDT 2007

Previous message: [splint-discuss] Re: Can't fit our memory management to Splint's model
Next message: [splint-discuss] /*@null@*/ array elements
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I will be out of the office starting  2007/06/22 and will not return until
2007/07/16.

Please contact Joachim Vandersleyen if necessary.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.Virginia.EDU/pipermail/splint-discuss/attachments/20070622/bcb2a902/attachment.html

Previous message: [splint-discuss] Re: Can't fit our memory management to Splint's model
Next message: [splint-discuss] /*@null@*/ array elements
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the splint-discuss mailing list