Sorry for my very slow response
I found that if you grab the latest splint from CVS, the C99 support is
much improved. I don't know if it will ever be officially released
again, however, it seems to have been ignored for the last couple of years.
On 04/04/2013 09:10 PM, John Carter wrote:
Is anyone interested in doing something like that?
--
John Carter Phone : (64)(3) 358 6639
Tait Electronics Fax : (64)(3) 359 4632
PO Box 1645 Christchurch Email : john.car...@taitradio.com
<mailto:john.car...@taitradio.com>
New Zealand
------------------------------------------------------------------------
This email, including any attachments, is only for the intended
recipient. It is subject to copyright, is confidential and may be the
subject of legal or other privilege, none of which is waived or lost
by reason of this transmission.
If you are not an intended recipient, you may not use, disseminate,
distribute or reproduce such email, any attachments, or any part
thereof. If you have received a message in error, please notify the
sender immediately and erase all copies of the message and any
attachments.
Unfortunately, we cannot warrant that the email has not been altered
or corrupted during transmission nor can we guarantee that any email
or any attachments are free from computer viruses or other conditions
which may damage or interfere with recipient data, hardware or
software. The recipient relies upon its own procedures and assumes all
risk of use and of opening any attachments.
------------------------------------------------------------------------
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
